CristalCaveGem » LustreC

#!/bin/sh

# OASIS_START

# DO NOT EDIT (digest: ed33e59fe00e48bc31edf413bbc8b8d6)

set -e

ocaml setup.ml -configure $*

# OASIS_STOP