From: Ferruccio Guidi Date: Wed, 26 Oct 2011 08:31:53 +0000 (+0000) Subject: refactoring ... X-Git-Tag: make_still_working~2156 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=31a709773b66950ce7f14fed8fa4a951a4673ee9;p=helm.git refactoring ... --- diff --git a/helm/www/lambda_delta/bin/xhtbl/Makefile.common b/helm/www/lambda_delta/bin/xhtbl/Makefile.common index 63df6873d..bf944971b 100644 --- a/helm/www/lambda_delta/bin/xhtbl/Makefile.common +++ b/helm/www/lambda_delta/bin/xhtbl/Makefile.common @@ -1,6 +1,6 @@ H=@ -include Makefile.defs +include ../../etc/Makefile.defs DIST=$(EXEC)---$(VERSION) DATE=$(shell date +%y%m%d) diff --git a/helm/www/lambda_delta/bin/xhtbl/Makefile.defs b/helm/www/lambda_delta/bin/xhtbl/Makefile.defs deleted file mode 100644 index 4fb7bad2d..000000000 --- a/helm/www/lambda_delta/bin/xhtbl/Makefile.defs +++ /dev/null @@ -1,19 +0,0 @@ -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