helm/www/lambda_delta/bin/xhtbl/Makefile.defs

   1 ifeq ($(origin OCAMLPATH), undefined)
   2 OCAMLFIND = OCAMLPATH=/home/fguidi/svn/helm-stable/software/components/METAS ocamlfind
   3 else
   4 OCAMLFIND = ocamlfind
   5 endif
   6 CAMLP5O = camlp5o
   7 LABLGLADECC = lablgladecc2
   8 HAVE_OCAMLOPT = yes
   9 DISTRIBUTED = no
  10 ANNOT = false
  11
  12 MATITA_REQUIRES =  helm-disambiguation helm-cic_disambiguation helm-grafite helm-grafite_engine helm-tptp_grafite helm-ng_disambiguation helm-ng_cic_content helm-grafite_parser helm-acic_procedural helm-content_pres helm-hgdome helm-tactics helm-ng_paramodulation helm-ng_tactics helm-cic_exportation   lablgtk2.glade lablgtkmathview lablgtksourceview2.gtksourceview2 helm-xmldiff
  13 MATITA_CREQUIRES =  helm-disambiguation helm-cic_disambiguation helm-grafite helm-grafite_engine helm-tptp_grafite helm-ng_disambiguation helm-ng_cic_content helm-grafite_parser helm-acic_procedural helm-content_pres helm-hgdome helm-tactics helm-ng_paramodulation helm-ng_tactics helm-cic_exportation
  14
  15 MATITA_VERSION = 0.5.8
  16
  17 SRCROOT = /home/fguidi/svn/helm-stable/software
  18 RT_BASE_DIR = /home/fguidi/svn/helm-stable/software/matita
  19 DBHOST = mysql://mowgli.cs.unibo.it