diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-01-16 16:08:16 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-01-16 16:08:16 -0500 |
| commit | cd3721995eddd65aca6a5d0a6a305830352d5680 (patch) | |
| tree | 9701446eb033278ebac484e7ce675f05299d75d4 /Makefile | |
| parent | 78618797b6947a2fcd1a4b68f08e32d8e2b9aa29 (diff) | |
remove fiat dependency
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -1,4 +1,4 @@ -COQ_ARGS := -R fiat/src Fiat -R bedrock/Bedrock Bedrock +COQ_ARGS := -R bedrock/Bedrock Bedrock MOD_NAME := Crypto SRC_DIR := src MODULES := Curves Galois Rep Specific Tactics Util @@ -20,6 +20,5 @@ clean: Makefile.coq install: coq ln -sfL $(shell pwd)/src $(shell coqtop -where)/user-contrib/Crypto - ln -sfL $(shell pwd)/fiat/src $(shell coqtop -where)/user-contrib/Fiat ln -sfL $(shell pwd)/bedrock/Bedrock $(shell coqtop -where)/user-contrib/Bedrock |