From ae1595360992aa67b6ba55118a6e0e729b786db4 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 2 Oct 2012 14:49:14 -0700
Subject: [PATCH] update_api script for Linux/OSX

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 update_api.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 update_api.sh

diff --git a/update_api.sh b/update_api.sh
new file mode 100755
index 00000000000..796ae249709
--- /dev/null
+++ 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 ..