ifeq ($(origin OCAMLPATH), undefined)
OCAMLFIND = OCAMLPATH=/home/fguidi/svn/helm-stable/software/components/METAS ocamlfind
else
OCAMLFIND = ocamlfind
endif
CAMLP5O = camlp5o
LABLGLADECC = lablgladecc2
HAVE_OCAMLOPT = yes
DISTRIBUTED = no
ANNOT = false

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 
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  

MATITA_VERSION = 0.5.8

SRCROOT = /home/fguidi/svn/helm-stable/software
RT_BASE_DIR = /home/fguidi/svn/helm-stable/software/matita
DBHOST = mysql://mowgli.cs.unibo.it