1 ifeq ($(origin OCAMLPATH), undefined)
2 OCAMLFIND = OCAMLPATH=/home/fguidi/svn/helm-stable/software/components/METAS ocamlfind
7 LABLGLADECC = lablgladecc2
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
15 MATITA_VERSION = 0.5.8
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