Tweaks to building Z3

toledorafael · Jun 21, 2016 · 7221aab · 7221aab
1 parent 0a0f253
commit 7221aab
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 11 deletions.
diff --git a/scripts/compile_to_es5 b/scripts/compile_to_es5
@@ -1,4 +1,3 @@
 #!/bin/bash -e
 babel --presets es2015,stage-0 ./bin/z3_bindings_em.js > ./bin/z3_bindings_em_es5.js
-babel --presets es2015,stage-0 ./bin/z3_bindings_ref.js > ./bin/z3_bindings_ref_es5.js
-babel --presets es2015,stage-0 ./templates/package.js > ./bin/package.js
+babel --presets es2015,stage-0 ./bin/z3_bindings_ref.js > ./bin/z3_bindings_ref_es5.js
diff --git a/setup b/setup
@@ -1,5 +1,4 @@
 #!/bin/bash -e
-
 if [ -e bin ]; then
 	echo "Do not need to create a bin dir"
 else
@@ -17,4 +16,12 @@ fi
 
 ./scripts/binds
 
+if [ ! -z ${Z3_WEB} ]; then
+	echo "Em Build Cp"
+	cp ./bin/z3_bindings_em_es5.js ./bin/package.js
+else
+	echo "DllBuild Cp"
+	cp ./bin/z3_bindings_ref_es5.js ./bin/package.js
+fi
+
 exit 0
diff --git a/templates/package.js b/templates/package.js