lustrec/configure @ 9aaee7f9
| 1 | 0cbf0839 | ploc | #!/bin/sh
|
|---|---|---|---|
| 2 | |||
| 3 | # OASIS_START
|
||
| 4 | 9aaee7f9 | xthirioux | # DO NOT EDIT (digest: 425187ed8bfdbdd207fd76392dd243a7)
|
| 5 | 0cbf0839 | ploc | set -e |
| 6 | |||
| 7 | c6acbdaa | xthirioux | FST=true |
| 8 | 9aaee7f9 | xthirioux | for i in "$@"; do |
| 9 | c6acbdaa | xthirioux | if $FST; then |
| 10 | set -- |
||
| 11 | FST=false |
||
| 12 | fi |
||
| 13 | |||
| 14 | case $i in |
||
| 15 | --*=*) |
||
| 16 | ARG=${i%%=*} |
||
| 17 | VAL=${i##*=} |
||
| 18 | set -- "$@" "$ARG" "$VAL" |
||
| 19 | ;;
|
||
| 20 | *) |
||
| 21 | set -- "$@" "$i" |
||
| 22 | ;;
|
||
| 23 | esac
|
||
| 24 | done
|
||
| 25 | |||
| 26 | ocaml setup.ml -configure "$@" |
||
| 27 | 0cbf0839 | ploc | # OASIS_STOP
|