completed

UnixJunkie · Mar 18, 2014 · e191665 · e191665
1 parent 54bc1aa
commit e191665
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/oasis_build.sh b/oasis_build.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+#set -x
+
+# configure, build and install via OASIS
+
+oasis setup
+ocaml setup.ml -configure --prefix ${HOME}/usr
+ocaml setup.ml -build
+ocaml setup.ml -install