From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 28 Feb 2008 08:42:37 +0000 (+0000)
Subject: firs attempt to compile with ocamlbuild
X-Git-Tag: make_still_working~5572
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c1b8d6c5b550d8b0b658baa53174732586a83bed;p=helm.git

firs attempt to compile with ocamlbuild
---

diff --git a/helm/software/ocamlbuild.sh b/helm/software/ocamlbuild.sh
new file mode 100755
index 000000000..965f165d0
--- /dev/null
+++ b/helm/software/ocamlbuild.sh
@@ -0,0 +1,116 @@
+CAML=/usr/lib/ocaml/3.10.1
+
+echo CLEAN
+ocamlbuild.native -clean
+echo SYNTAX-EXTENSIONS
+ocamlbuild.native $V \
+	-cflags -I,$CAML/camlp5 \
+	-lflags -I,$CAML/camlp5/ \
+	-pp camlp5o,q_MLast.cmo,pa_extend.cmo,-loc,loc \
+	components/syntax_extensions/pa_unicode_macro.cma
+echo GLADE
+lablgladecc2 -embed matita/matita.glade > matita/matitaGeneratedGui.ml
+echo MATITA
+ocamlbuild.native \
+	-pp camlp5o,-I,$CAML/ulex08 \
+	-pp -I,$PWD/_build/components/syntax_extensions/ \
+	-pp pa_extend.cmo,pa_ulex.cma,pa_unicode_macro.cma,-loc,loc \
+	-I components/acic_content\
+	-I components/acic_procedural\
+	-I components/cic\
+	-I components/cic_acic\
+	-I components/cic_disambiguation\
+	-I components/cic_disambiguation/doc\
+	-I components/cic_disambiguation/tests\
+	-I components/cic_exportation\
+	-I components/cic_proof_checking\
+	-I components/cic_proof_checking/doc\
+	-I components/cic_unification\
+	-I components/content_pres\
+	-I components/extlib\
+	-I components/getter\
+	-I components/grafite\
+	-I components/grafite_engine\
+	-I components/grafite_parser\
+	-I components/hgdome\
+	-I components/hmysql\
+	-I components/lexicon\
+	-I components/library\
+	-I components/logger\
+	-I components/metadata\
+	-I components/registry\
+	-I components/registry/tests\
+	-I components/syntax_extensions\
+	-I components/syntax_extensions/data\
+	-I components/tactics\
+	-I components/tactics/paramodulation\
+	-I components/thread\
+	-I components/thread/fake\
+	-I components/tptp_grafite\
+	-I components/urimanager\
+	-I components/whelp\
+	-I components/xml\
+	-I components/xmldiff\
+	-I matita \
+	-cflags -I,$CAML/ \
+	-cflags -I,$CAML/camlp5 \
+	-cflags -I,$CAML/expat \
+	-cflags -I,$CAML/gdome2 \
+	-cflags -I,$CAML/http \
+	-cflags -I,$CAML/lablgtk2 \
+	-cflags -I,$CAML/lablgtk2 \
+	-cflags -I,$CAML/lablgtkmathview \
+	-cflags -I,$CAML/mysql \
+	-cflags -I,$CAML/netstring \
+	-cflags -I,$CAML/netstring \
+	-cflags -I,$CAML/pcre \
+	-cflags -I,$CAML/sqlite3 \
+	-cflags -I,$CAML/ulex08 \
+	-cflags -I,$CAML/zip \
+	-lflags $CAML/unix.cma \
+	-lflags $CAML/camlp5/camlp5.cma \
+	-lflags $CAML/pcre/pcre.cma \
+	-lflags $CAML/sqlite3/sqlite3.cma \
+	-lflags $CAML/expat/expat.cma \
+	-lflags $CAML/gdome2/gdomeInit.cmo \
+	-lflags $CAML/gdome2/mlgdome.cma \
+	-lflags $CAML/gdome2/mlogdome.cma \
+	-lflags $CAML/pcre/pcre.cma \
+	-lflags $CAML/netsys/netsys.cma \
+	-lflags $CAML/netstring/netstring.cma \
+	-lflags $CAML/threads/threads.cma \
+	-lflags $CAML/netstring/netstring_mt.cmo \
+	-lflags $CAML/netstring/netaccel.cma \
+	-lflags $CAML/netstring/netaccel_link.cmo \
+	-lflags $CAML/http/http_mt.cma \
+	-lflags $CAML/lablgtk2/lablgtk.cma \
+	-lflags $CAML/lablgtk2/gtkThread.cmo \
+	-lflags $CAML/lablgtk2/lablgtk.cma\
+	-lflags $CAML/lablgtk2/lablgtksourceview.cma \
+	-lflags $CAML/lablgtk2/lablglade.cma \
+	-lflags $CAML/gdome2/gdomeInit.cmo \
+	-lflags $CAML/gdome2/mlgdome.cma \
+	-lflags $CAML/gdome2/mlogdome.cma \
+	-lflags $CAML/lablgtk2/lablgtk.cma \
+	-lflags $CAML/lablgtk2/gtkThread.cmo \
+	-lflags $CAML/lablgtkmathview/lablgtkmathview.cma \
+	-lflags $CAML/mysql/mysql.cma \
+	-lflags $CAML/pcre/pcre.cma \
+	-lflags $CAML/netsys/netsys.cma \
+	-lflags $CAML/netstring/netstring.cma \
+	-lflags $CAML/netstring/netstring_mt.cmo \
+	-lflags $CAML/netstring/netaccel.cma \
+	-lflags $CAML/netstring/netaccel_link.cmo \
+	-lflags $CAML/ulex08/ulexing.cma \
+	-lflags $CAML/str.cma \
+	-lflags $CAML/zip/zip.cma \
+	-lflags $CAML/pcre/pcre.cma \
+	-lflags $CAML/netsys/netsys.cma \
+	-lflags $CAML/netstring/netstring.cma \
+	-lflags $CAML/netstring/netstring_mt.cmo \
+	-lflags $CAML/netstring/netaccel.cma \
+	-lflags $CAML/netstring/netaccel_link.cmo \
+	-cflags -rectypes -cflags -thread \
+	-j 3 \
+	matita/matita.byte matita/matitac.byte
+