installation issue about vericert HOT 2 CLOSED

Oh sorry, I think CompCert might not have downloaded properly. To clone the repo, I should have added that you need to use the following command:

git clone --recursive https://github.com/ymherklotz/coqup

However, in the github repo, if you run:

git submodule update --init

It should download CompCert.

In addition to that, if you are building it on MacOSx, you have to change a line in the makefile. I believe it is line 22, change:

(cd lib/CompCert && ./configure x86_64-linux)

to

(cd lib/CompCert && ./configure x86_64-macosx)

Finally, currently nix-build is a bit broken, it will build correctly but delete the binary, so an easier way to test is the following

nix-shell  # downloads all dependencies
make -j8  # Build compcert and coqup
make install  # Install binary in current directory, under ./bin/coqup
./bin/coqup -o main.v main.c  # To build a C file

Hope that helps, I'll improve the instructions in the readme.

from vericert.

Thanks. The examples all compile fine now!

from vericert.