removed generated Coq files from the repo; added logic to regenerate …

…them in the saw-core-coq/coq Makefile

saw-core-coq/coq/Makefile

@@ -1,13 +1,23 @@
-all: build
+all: Makefile.coq
 
 Makefile.coq: _CoqProject
 	coq_makefile -f $< -o $@
 
-build: Makefile.coq
-	make -f Makefile.coq
+include Makefile.coq
 
-clean: Makefile.coq
-	make -f Makefile.coq clean
+# If running in CI, always set $SAW=`which saw`. Otherwise, if saw is not in the
+# current path, fall back on cabal run saw
+SAW=$(shell which saw)
+ifeq ($(SAW),)
+  ifeq ($(CI),)
+	    SAW=cabal run saw
+  else
+    $(error Could not find SAW executable; PATH = $(PATH))
+  endif
+endif
 
-%.vo: Makefile.coq
-	make -f Makefile.coq $@
+generated/CryptolToCoq/SAWCorePrelude.v: ../../saw-core/prelude/Prelude.sawcore
+	(cd ../saw; $(SAW) generate_scaffolding.saw)
+
+generated/CryptolToCoq/CryptolPrimitivesForSAWCore.v: ../../cryptol-saw-core/saw/Cryptol.sawcore
+	(cd ../saw; $(SAW) generate_scaffolding.saw)

saw-core-coq/coq/generated/.gitignore

@@ -0,0 +1 @@
+*.v