fix(build): Addresses build issues with opam

Signed-off-by: Jerome Simeon <[email protected]>
querycert · May 21, 2022 · feb6aef · feb6aef
1 parent 9f04b45
commit feb6aef
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/cli/nodejs/Makefile b/cli/nodejs/Makefile
@@ -17,7 +17,7 @@
 ###
 
 DEP_FILES=../../bin/qcertJS.js \
-	../../runtimes/javascript/qcert-runtime.js
+	../../_build/default/runtimes/javascript/qcert-runtime.js
 
 all: copy-libs
 

diff --git a/runtimes/javascript/dune b/runtimes/javascript/dune
@@ -2,9 +2,8 @@
   (name js_runtime)
   (public_name coq-qcert.runtime.js))
 
-(rule ; We promote to source dir because this file is also used from nodejs.
+(rule
   (target qcert-runtime.js)
-  (mode promote)
   (deps
     qcert-runtime-core.js
     qcert-runtime-tostring.js