From c1b8d6c5b550d8b0b658baa53174732586a83bed Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 28 Feb 2008 08:42:37 +0000 Subject: [PATCH] firs attempt to compile with ocamlbuild --- helm/software/ocamlbuild.sh | 116 ++++++++++++++++++++++++++++++++++++ 1 file changed, 116 insertions(+) create mode 100755 helm/software/ocamlbuild.sh 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 + -- 2.39.2