Makefile revision 6eb9dcc44ecc0141eaa3b9e8dd30c41b768823fb
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)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
$@.hs -o $@
$(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
# files to be processed by utils/InlineAxioms
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:
%.hs: %.y
$(RM) $@
$(RM) $@
$(INLINEAXIOMS) $< > $@
%.d : %.hs
%.d : %.lhs
$(RM) $@
$(RM) $@
$(PERL) $+ > $@
## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
# uses intransparently utils/outlineAxioms
$(RM) $@
@echo Please do