You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
28 lines
363 B
28 lines
363 B
#!/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
|