3
# Script provide with libocamlbricks-ocaml-dev packages
4
# utility: create *.mli files from sources in $TARGET directory.
5
# where $TARGET is the first argument pass to the script
7
# directory to add in command line
8
OCAML_PATH=$(ocamlc -where)
9
# where we put *.mli files
11
# to exclude a sources file word or regexp
14
# if not exist create $TARGET directory
17
# for all *.ml files found in sources directory
18
for i in $(find ./[A-Z]* -name \*.ml |grep -v $EXCLUDE |grep -v -e "/m[e,y]" );
20
# create the *.mli corresponding
21
ocamlc -I debian/tmp/$OCAML_PATH/ocamlbricks/ -I $OCAML_PATH/ -I $OCAML_PATH/lablgtk2/ \
22
-i $i > $TARGET/$(basename $i |sed s/'$'/'i'/g) 2> /dev/null
25
# Not possible to build this .mli
26
rm -f $TARGET/modelExtra.mli 2> /dev/null