update_api script for Linux/OSX

Signed-off-by: Leonardo de Moura <[email protected]>
Z3Prover · Oct 2, 2012 · ae15953 · ae15953
1 parent c3d3f51
commit ae15953
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/update_api.sh b/update_api.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+cd dll
+python mk_def.py
+cd ..
+cd lib
+python api.py
+cd ..
+cd Microsoft.Z3
+python mk_z3consts.py
+cd ..
+cd python
+python mk_z3consts.py
+python mk_z3tactics.py
+cd ..