diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-04-23 22:40:18 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-23 22:40:18 +0100 |
| commit | 6557bd4ad48626d1c7f644f4134560d363786766 (patch) | |
| tree | 9a5dadb5f24b631c34ee93a01f0fdef21795927d /README.md | |
| parent | fdf5e7378715ba1bd8552e2f005c4a15c834a038 (diff) | |
| download | vericert-6557bd4ad48626d1c7f644f4134560d363786766.tar.gz vericert-6557bd4ad48626d1c7f644f4134560d363786766.zip | |
Add OS detection to makefile
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -18,14 +18,6 @@ The project is written in Coq, a theorem prover, which is extracted to OCaml so These dependencies can be installed manually, or automatically through Nix. -### Building on OSX - -To build the project on OSX, currently the makefile has to be manually edited so that CompCert builds for the correct architecture. To do this, simply execute the following `sed` command to change the instance of `x86_64-linux` into `x86_64-macosx`. - -``` shell -sed -i'' 's/x86_64-linux/x86_64-macosx/' Makefile -``` - ### Downloading CompCert CompCert is added as a submodule in the `lib/CompCert` directory. It is needed to run the build process below, as it is the one dependency that is not downloaded by nix, and has to be downloaded together with the repository. To clone CompCert together with this project, you can run: |