diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-06 00:55:54 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-06 00:55:54 +0700 |
| commit | e18a945633b74dc0547d61941b15cccb027fecd1 (patch) | |
| tree | 0a4c4b6f9aae886d22ea21627f8852fa0f38b7f0 /configure | |
| parent | b4c218f777e6bf6d8dfbb268cee7ed002edb455a (diff) | |
| download | vyconf-e18a945633b74dc0547d61941b15cccb027fecd1.tar.gz vyconf-e18a945633b74dc0547d61941b15cccb027fecd1.zip | |
Add oasis-generated files.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/configure b/configure new file mode 100755 index 0000000..6acfaeb --- /dev/null +++ b/configure @@ -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 |