Permalink
Browse files

Added configure

  • Loading branch information...
rizo committed Sep 4, 2015
1 parent dbffedb commit 1777ab21384d646c91b4ad4f5e26e74ef2d2788b
Showing with 27 additions and 0 deletions.
  1. +27 −0 configure
View
@@ -0,0 +1,27 @@
#!/bin/sh
# OASIS_START
# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
set -e
FST=true
for i in "$@"; do
if $FST; then
set --
FST=false
fi
case $i in
--*=*)
ARG=${i%%=*}
VAL=${i##*=}
set -- "$@" "$ARG" "$VAL"
;;
*)
set -- "$@" "$i"
;;
esac
done
ocaml setup.ml -configure "$@"
# OASIS_STOP

0 comments on commit 1777ab2

Please sign in to comment.