Makefile revision 14c56dc499da4bbeaeebeb558ceb755150ae341c
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# Author: (c) Klaus Luettich, Christian Maeder, Uni Bremen 2002-2009
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# This Makefile will compile the hets system and provides also
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# targets for test programs during implementation phases.
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# !!! Note: This makefile is written for GNU make !!!
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# (gmake on solaris)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# the 'replacing spaces' example was taken from the (GNU) Make info manual
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# list glade files
$(RM) $@
$(APPENDPRELUDESTRING) < $< > $@
#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
# unset this variable from var.mk because the programatica sources
# uncomment HC_PROF for profiling (and comment out packages in var.mk)
# the rules to create ATC .der.hs file for DriFT
$(GENRULECALL) -o $@ $<
$(GENRULECALL) -o $@ $<
$(GENRULECALL) -o $@ $<
$(GENRULECALL) -o $@ $<
$(GENRULECALL) -o $@ $<
$(GENRULECALL2) -o $@ $<
# all ATC .der.hs files for all logics
# a rule to create all .der.hs files
cgi:
-i http://hackage.haskell.org/packages/archive/$(basename $(notdir $(file)))/latest/doc/html,$(file))
(cd utils/GenerateRules; \
GenerateRules.hs -o ../genRules)
./clean.sh; \
# Common/LaTeX_maps.hs generation
@echo -n "Generating pretty/LaTeX_maps.hs ... "
@(cd pretty >/dev/null; ../utils/genItCorrections \
$(RM) $@
## two hardcoded dependencies for a correct generation of Version.hs
.SUFFIXES:
$(RM) $@
%.d : %.hs
%.d : %.lhs
@echo Please do
echo "File arq-2.8.7.jar already exists"; \
curl -o RDF/java/lib/arq-2.8.7.jar http://repo1.maven.org/maven2/com/hp/hpl/jena/arq/2.8.7/arq-2.8.7.jar; \
echo "File icu4j-3.4.4.jar already exists"; \
curl -o RDF/java/lib/icu4j-3.4.4.jar http://repo1.maven.org/maven2/com/ibm/icu/icu4j/3.4.4/icu4j-3.4.4.jar; \
echo "File iri-0.8.jar already exists"; \
curl -o RDF/java/lib/iri-0.8.jar http://repo1.maven.org/maven2/com/hp/hpl/jena/iri/0.8/iri-0.8.jar; \
echo "File jena-2.6.4.jar already exists"; \
curl -o RDF/java/lib/jena-2.6.4.jar http://repo1.maven.org/maven2/com/hp/hpl/jena/jena/2.6.4/jena-2.6.4.jar; \
echo "File junit-4.5.jar already exists"; \
echo "File log4j-1.2.13.jar already exists"; \
curl -o RDF/java/lib/log4j-1.2.13.jar http://repo1.maven.org/maven2/log4j/log4j/1.2.13/log4j-1.2.13.jar; \
echo "File lucene-core-2.3.1.jar already exists"; \
curl -o RDF/java/lib/lucene-core-2.3.1.jar http://repo1.maven.org/maven2/org/apache/lucene/lucene-core/2.3.1/lucene-core-2.3.1.jar; \
echo "File slf4j-api-1.5.8.jar already exists"; \
curl -o RDF/java/lib/slf4j-api-1.5.8.jar http://repo2.maven.org/maven2/org/slf4j/slf4j-api/1.5.8/slf4j-api-1.5.8.jar; \
echo "File slf4j-log4j12-1.5.8.jar already exists"; \
curl -o RDF/java/lib/slf4j-log4j12-1.5.8.jar http://repo2.maven.org/maven2/org/slf4j/slf4j-log4j12/1.5.8/slf4j-log4j12-1.5.8.jar; \
echo "File stax-api-1.0.1.jar already exists"; \
echo "File wstx-asl-3.2.9.jar already exists"; \
curl -o RDF/java/lib/wstx-asl-3.2.9.jar http://repo1.maven.org/maven2/org/codehaus/woodstox/wstx-asl/3.2.9/wstx-asl-3.2.9.jar; \
echo "File xercesImpl-2.7.1.jar already exists"; \