lustrec/configure @ 4eada2bb
| 1 |
#!/bin/sh
|
|---|---|
| 2 |
|
| 3 |
# OASIS_START
|
| 4 |
# DO NOT EDIT (digest: ed33e59fe00e48bc31edf413bbc8b8d6)
|
| 5 |
set -e |
| 6 |
|
| 7 |
ocaml setup.ml -configure $* |
| 8 |
# OASIS_STOP
|