chore(build) Minor build fixes

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Apr 3, 2021 · a64ce69 · a64ce69
1 parent 9e64c94
commit a64ce69
Show file tree

Hide file tree

Showing 6 changed files with 28,931 additions and 28,710 deletions.
diff --git a/Makefile.config b/Makefile.config
@@ -13,4 +13,4 @@
 #
 
 ## Qcert compiler location
-QCERT=../qcert-master
+# QCERT=../qcert-master
diff --git a/compiler/lib/static_config.ml b/compiler/lib/static_config.ml
@@ -1,2 +1,2 @@
 (* This file is generated *)
-let ergo_home = "/Users/jeromesimeon/git/ergo-release-1.0"
+let ergo_home = "/Users/jeromesimeon/git/accordproject/ergo"
diff --git a/package.json b/package.json
@@ -102,6 +102,7 @@
       "runtimes/javascript/ergo_runtime.ml",
       "Makefile.coq",
       "Makefile.coq.conf",
+      ".Makefile.coq.d",
       ".coqdeps.d",
       "_CoqProject",
       "runtimes/java/.classpath",
@@ -119,6 +120,8 @@
       ".glob",
       ".aux",
       ".v.d",
+      ".vok",
+      ".vos",
       ".ctoj",
       ".zip",
       ".depends",

diff --git a/packages/ergo-cli/extracted/ergoccore.js b/packages/ergo-cli/extracted/ergoccore.js
diff --git a/packages/ergo-cli/extracted/ergotopcore.js b/packages/ergo-cli/extracted/ergotopcore.js
diff --git a/packages/ergo-compiler/extracted/compilercore.js b/packages/ergo-compiler/extracted/compilercore.js