[Pkg-ocaml-maint-commits] [SCM] ocamlbricks packaging branch, master, updated. debian/0.50.1-4-26-g57c36f5
Lucas Nussbaum
lucas at debian.org
Mon Feb 18 16:18:11 UTC 2013
The following commit has been merged in the master branch:
commit 5884eca9b3a5ca2db7cb37c0e92c3dec1e7c3214
Author: Lucas Nussbaum <lucas at debian.org>
Date: Tue Feb 12 19:54:03 2013 +0100
File no longer needed
diff --git a/debian/generate_mli.sh b/debian/generate_mli.sh
deleted file mode 100755
index 498660e..0000000
--- a/debian/generate_mli.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/sh
-
-# Script provide with libocamlbricks-ocaml-dev packages
-# utility: create *.mli files from sources in $TARGET directory.
-# where $TARGET is the first argument pass to the script
-
-# directory to add in command line
-OCAML_PATH=$(ocamlc -where)
-# where we put *.mli files
-TARGET=$1
-# to exclude a sources file word or regexp
-EXCLUDE="stupid"
-
-# if not exist create $TARGET directory
-mkdir -p $TARGET
-
-# for all *.ml files found in sources directory
-for i in $(find ./[A-Z]* -name \*.ml |grep -v $EXCLUDE |grep -v -e "/m[e,y]" );
-do
- # create the *.mli corresponding
- ocamlc -I debian/tmp/$OCAML_PATH/ocamlbricks/ -I $OCAML_PATH/ -I $OCAML_PATH/lablgtk2/ \
- -i $i > $TARGET/$(basename $i |sed s/'$'/'i'/g) 2> /dev/null
- done
-
-# Not possible to build this .mli
-rm -f $TARGET/modelExtra.mli 2> /dev/null
-
-exit 0
--
ocamlbricks packaging
More information about the Pkg-ocaml-maint-commits
mailing list