Cross Reference: /hets/Makefile

	Makefile revision d579f5b263e6c73d466c265f2fbfd45b0e69ca64
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews# hetcats/Makefile
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater# $Id$
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews# Author: Klaus L�ttich
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrence# Year:   2003
ec5347e2c775f027573ce5648b910361aa926c01Automatic Updater
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence# This Makefile will compile the new hetcats system and provides also
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence# targets for test programs during implementation phases.
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrence
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews# !!! Note: This makefile is written for GNU make !!!
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews#           (gmake on solaris ; make on linux)
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews####################################################################
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews## Some varibles, which control the compilation
dafcb997e390efa4423883dafd100c975c4095d6Mark Andrews
dafcb997e390efa4423883dafd100c975c4095d6Mark AndrewsINCLUDE_PATH = ghc:hetcats
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsCOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsCLEAN_PATH = Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Haskell/Language:Modal:CspCASL:ATC:ToHaskell:Proofs:Comorphisms:$(INCLUDE_PATH):Haskell/Hatchet
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater
ab023a65562e62b85a824509d829b6fad87e00b1Rob AusteinDRIFT_ENV = DERIVEPATH='.:ghc:hetcats:/home/linux-bkb/ghc/ghc-latest/lib/ghc-6.0.1/imports'
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
9c3531d72aeaad6c5f01efe6a1c82023e1379e4dDavid LawrenceHC         = ghc
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsPERL       = perl
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHAPPY      = happy
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsDRIFT      = $(DRIFT_ENV) $(PERL) utils/DrIFT
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David LawrenceAG         = $(PERL) utils/ag
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHADDOCK    = $(PERL) utils/haddock
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHC_FLAGS   = -fglasgow-exts -fallow-overlapping-instances -Wall
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHC_INCLUDE = -i$(INCLUDE_PATH)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHC_PACKAGE = -package-conf ../uni/uni-package.conf  -package uni-davinci -package uni-server
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsAG_FLAGS   = -mdcfs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
5798e5b3d452ece4494aa64cecfc553efa27ba11Mark Andrews### Profiling and Warnings (only for debugging)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### Attention every module must be compiled with profiling or the linker
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### cannot link the various .o files properly. So after switching on
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrence### Profiling, do an 'gmake clean; gmake'
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### If you need Profiling comment out the following line
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews#HC_PROF    = -prof -auto-all -Wall
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHCI_OPTS    = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHC_OPTS     = $(HCI_OPTS) $(HC_PROF)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsDRIFT_OPTS  = +RTS -K10 -RTS
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### list of directories to run checks in
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsTESTDIRS    = CASL HasCASL test
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews####################################################################
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews## sources for hetcats (semi - manually produced with a perl script)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
b60271016957475ef5d675f8a5a116a661b46b82David Lawrenceifneq ($(MAKECMDGOALS),clean)
b60271016957475ef5d675f8a5a116a661b46b82David Lawrenceifneq ($(MAKECMDGOALS),bin_clean)
b60271016957475ef5d675f8a5a116a661b46b82David Lawrenceifneq ($(MAKECMDGOALS),d_clean)
b60271016957475ef5d675f8a5a116a661b46b82David Lawrenceifneq ($(MAKECMDGOALS),real_clean)
b60271016957475ef5d675f8a5a116a661b46b82David Lawrenceifneq ($(MAKECMDGOALS),distclean)
b60271016957475ef5d675f8a5a116a661b46b82David Lawrenceifneq ($(MAKECMDGOALS),genRules)
b60271016957475ef5d675f8a5a116a661b46b82David Lawrenceifneq ($(MAKECMDGOALS),apache_doc)
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinifneq ($(MAKECMDGOALS),clean_genRules)
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeininclude sources_hetcats.mk
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinendif
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinendif
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinendif
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinendif
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinendif
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updaterendif
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinendif
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinendif
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updaterobjects    = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updaterdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein    Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein    $(gendrifted_files)
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeingenrule_files = Common/Lib/Graph.hs Common/Id.hs Common/Result.hs Common/AS_Annotation.der.hs Common/Named.hs \
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater                Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                CASL/Morphism.hs CASL/StaticAna.hs CASL/AS_Basic_CASL.der.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                HasCASL/Le.hs HasCASL/As.hs HasCASL/Symbol.hs HasCASL/Morphism.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                CspCASL/AS_CSP_CASL.hs \
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater                Static/DevGraph.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                Haskell/Hatchet/AnnotatedHsSyn.hs Haskell/Hatchet/MultiModuleBasics.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                Haskell/Hatchet/HsSyn.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                Haskell/Hatchet/Representation.hs\
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                Haskell/Hatchet/Class.hs Haskell/Hatchet/KindInference.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                Haskell/Hatchet/Env.hs
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeingendrifted_files = ATC/Graph.hs ATC/Id.hs ATC/Result.hs ATC/AS_Annotation.hs ATC/Named.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                   ATC/AS_Library.hs ATC/GlobalAnnotations.hs \
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein                   ATC/AS_Structured.hs ATC/AS_Architecture.hs ATC/DevGraph.hs \
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater                   CASL/ATC_CASL.hs Haskell/ATC_Haskell.hs HasCASL/ATC_HasCASL.hs CspCASL/ATC_CspCASL.hs
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeingenerated_rule_files = $(patsubst %.hs,%.der.hs,$(gendrifted_files))
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinhappy_files = Haskell/Language/Parser.hs Haskell/Hatchet/HsParser.hs
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein# this variable holds the modules that should be documented
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater# the imported parsec library is not included!
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeindoc_sources = $(filter-out Nothing/Nothing% ,$(sources))
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein####################################################################
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein### targets
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein.PHONY : clean d_clean real_clean bin_clean check hetana hetpa hetdg clean_genRules genRules
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater.SECONDARY : %.hs %.d $(generated_rule_files)
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updater#.PRECIOUS: sources_hetcats.mk
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updaterall: hets
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
4e68c7c87c30c28490c92937adc112dca5b5d5aeAutomatic Updaterhets: $(sources)
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein    $(HC) --make -o $@ hets.hs $(HC_OPTS)
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austeinhets-opt: $(sources)
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein    $(MAKE) distclean
861df15904a7c8f6863d1a7312bca5a17cf4cb29Brian Wellington    $(MAKE) hets-optimized
861df15904a7c8f6863d1a7312bca5a17cf4cb29Brian Wellington
35c842e05dc6382ce1d9161a658d3ff4b2c3d4c9Bob Halleyhets-optimized: $(sources)
37d266d288410d1ead241c02a8a1dbcb0160be46Michael Graff    $(HC) --make -O -o $@ hets.hs $(HC_OPTS)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewshets-old: $(objects)
35c842e05dc6382ce1d9161a658d3ff4b2c3d4c9Bob Halley    $(RM) $@
200bf9036488042a01b42aeb79a75870af42e5bdMark Andrews    $(HC) -o hets $(HC_OPTS) $(objects)
16a68807e13caea3183a41a5292f1b3f48b81a26Mark Andrews
37d266d288410d1ead241c02a8a1dbcb0160be46Michael Graffhetcats-make: hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
37d266d288410d1ead241c02a8a1dbcb0160be46Michael Graff    $(RM) hetcats-make sources_hetcats.mk
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews###############################
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein### TAGS files for (x)emacs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews# load them with "M-x" "visit-tags-table" from
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews# "HetCATS/hetcats/hetcats.TAGS"
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews# use "M-." to search for a tag
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews# !!Beware this is somewhat instable, because it uses an absolute path!!
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewshetcats.TAGS: $(sources)
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein    /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence      $(sources); mv TAGS $@; mv tags hetcats.tags
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence###############################
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence### Documentation via haddock
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsdoc: docs/index.html utils/hd-lib
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsdocs/index.html: $(doc_sources)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HADDOCK) $(doc_sources) -o docs -h \
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews          --read-interface=http://www.haskell.org/ghc/docs/latest/html/base,/home/linux-bkb/ghc/ghc-6.0.1/share/ghc-6.0.1/html/base/base.haddock \
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews          -t 'hets -- a heterogenous Specification (CASL) tool set'
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsapache_doc:
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    cvs up -d
f51647808fe0b8e462e9b639770a695df08e102cBrian Wellington    $(MAKE) distclean
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(MAKE) hetcats-make
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein    $(RM) docs/*.html
f2fdfe7c42f3b10f3653f851ce5a0a90ee5ac1f9David Lawrence    $(MAKE) doc
f2fdfe7c42f3b10f3653f851ce5a0a90ee5ac1f9David Lawrence    $(MAKE) post_doc4apache
f2fdfe7c42f3b10f3653f851ce5a0a90ee5ac1f9David Lawrence
f2fdfe7c42f3b10f3653f851ce5a0a90ee5ac1f9David Lawrencepost_doc4apache:
f2fdfe7c42f3b10f3653f851ce5a0a90ee5ac1f9David Lawrence    $(PERL) utils/post_process_docs.pl docs \
f2fdfe7c42f3b10f3653f851ce5a0a90ee5ac1f9David Lawrence            'Common.Lib.Map.html:Common.Lib._Map.html'
f2fdfe7c42f3b10f3653f851ce5a0a90ee5ac1f9David Lawrence    mv docs/* a-docs/
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
ab023a65562e62b85a824509d829b6fad87e00b1Rob Austein#############################
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### ATC DrIFT-rule generation
af9cfbc64363b61aa5903dd916e9fbc152084d4cMark Andrews
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David LawrencegenRules: $(generated_rule_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews$(generated_rule_files): $(genrule_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(MAKE) clean_genRules
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(foreach file,$(atc_files),$(gen_atc_files))
23efeb1a582b012aca5b48c5a6ed6e83bbe3e68eBrian Wellington    utils/genRules -r $(rule) -o CASL    -h ATC/CASL.header.hs $(casl_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    utils/genRules -r $(rule) -o HasCASL -h ATC/HasCASL.header.hs $(hascasl_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    utils/genRules -r $(rule) -o CspCASL -h ATC/CspCASL.header.hs $(cspcasl_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    utils/genRules -r $(rule) -o Haskell -h ATC/Haskell.header.hs $(haskell_files)
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrence
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsrule = ShATermConvertible
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graffgen_atc_files = if [ -f ATC/$(basename $(basename $(notdir $(file)))).header.hs ]; then \
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff                   utils/genRules -r $(rule) -o ATC -h ATC/$(basename $(basename $(notdir $(file)))).header.hs $(file); \
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews                else \
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews                   utils/genRules -r $(rule) -o ATC $(file); \
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff                fi ;
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrenceatc_files := $(filter-out CASL/% HasCASL/% CspCASL/% Haskell/% ,$(genrule_files))
37d266d288410d1ead241c02a8a1dbcb0160be46Michael Graffcasl_files := $(filter CASL/% ,$(genrule_files))
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewshascasl_files := $(filter HasCASL/% ,$(genrule_files))
1a03b5e68553c37e9cc0097368909dfc37fb8cefMark Andrewscspcasl_files := $(filter CspCASL/% ,$(genrule_files))
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewshaskell_files := $(filter Haskell/%,$(genrule_files))
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsclean_genRules:
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $(generated_rule_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews###############
23efeb1a582b012aca5b48c5a6ed6e83bbe3e68eBrian Wellington### clean up
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### removes *.hi and *.o in all include directories
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsclean: bin_clean
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrence    (cd $$p ; $(RM) *.hi *.o) ; done
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### remove binaries
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsbin_clean:
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) hets
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) test_parser
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) CASL/capa
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) HasCASL/hacapa
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrence    $(RM) Haskell/hapa
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) Haskell/wrap
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) Syntax/hetpa
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) Static/hetana
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrence    $(RM) Static/hetana
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) GUI/hetdg
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) hetpa
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrence    $(RM) hetana
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrence    $(RM) hetdg
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
6f2a61172f328246b27fa8811a7c7b6ddf693afcMark Andrews### additonally removes *.d (dependency files) in every include directory
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### also delete *.d.bak (dependency file backups)
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrenced_clean: clean
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrence    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    (cd $$p ; $(RM) *.d *.d.bak) ; done
6f2a61172f328246b27fa8811a7c7b6ddf693afcMark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### remove files also in own libraries
e63f7c6f556aef66ff81fb128605f9eadf1ddcd9Mark Andrewslib_clean: clean
e63f7c6f556aef66ff81fb128605f9eadf1ddcd9Mark Andrews    for p in $(subst :, ,$(COMMONLIB_PATH)) . ; do \
2ec0852e91489d47b8a515f66ff525d9378029aaMark Andrews    (cd $$p ; $(RM) *.hi *.d *.o) ; done
e63f7c6f556aef66ff81fb128605f9eadf1ddcd9Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### additionally removes the files that define the sources-variable
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsreal_clean: bin_clean lib_clean
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) hetcats-make sources_hetcats.mk
5eb91bd90e3ad3426e5e3213031556a737cf3809Mark Andrews
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrence### additionally removes files not in CVS tree
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrencedistclean: real_clean clean_genRules d_clean
ca81c3971cd0c9cfd830c0a18289d4d1b0f9de01David Lawrence    $(RM) hetcats/Version.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $(drifted_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $(happy_files)
806c235ecf533b98d068b3f8df9d7abbe1e30cf9Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews####################################################################
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### test targets
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews####################################################################
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### a parser to test annotation parser and Id parsers
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewstest_parser: Common/test_parser
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $@
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) --make -o $@ $< $(HC_OPTS)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### interactive
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewsghci:
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC)i $(HCI_OPTS)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### christian's target
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### CASL parser
40f53fa8d9c6a4fc38c0014495e7a42b08f52481David Lawrencecapa: CASL/capa
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsCASL/capa: CASL/capa.lhs Common/*.hs CASL/*.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $@
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) --make -o $@ $< $(HC_OPTS)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### HasCASL parser
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewshacapa: HasCASL/hacapa
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark AndrewsHasCASL/hacapa: HasCASL/hacapa.lhs CASL/capa HasCASL/*.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $@
5eb91bd90e3ad3426e5e3213031556a737cf3809Mark Andrews    $(HC) --make -o $@ $< $(HC_OPTS)
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence### Haskell parser
b60271016957475ef5d675f8a5a116a661b46b82David Lawrencehapa: Haskell/hapa
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
35c842e05dc6382ce1d9161a658d3ff4b2c3d4c9Bob HalleyHaskell/hapa: Haskell/hapa.lhs Haskell/*.hs Haskell/Language/*.hs $(happy_files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $@
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) --make -o $@ $< $(HC_OPTS)
aad37e39b3ac0388b1b9ea729bc9de263095c8afMichael Graff
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff### Haskell wrap parser
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graffwrap: Haskell/wrap
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael GraffHaskell/wrap: Haskell/wrap.lhs Haskell/*.hs
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(RM) $@
2193d51910ed8f37185f29d1ebbc7cdc85184f06Michael Graff    $(HC) --make -o $@ $< $(HC_OPTS)
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff
b60271016957475ef5d675f8a5a116a661b46b82David Lawrence### HetCASL parser
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graffhetpa: Syntax/hetpa.hs Syntax/*.hs
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(RM) $@
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(HC) --make -o $@ $< $(HC_OPTS)
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff### HetCASL parser
2193d51910ed8f37185f29d1ebbc7cdc85184f06Michael Graffhetana: Static/hetana.hs Static/*.hs
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(RM) $@
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(HC) --make -o $@ $< $(HC_OPTS)
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff### ATC test system
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graffatctest: ATC/ATCTest.hs ATC/*.hs
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(RM) $@
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff    $(HC) --make -o $@ $< $(HC_OPTS)
99dd8505ed03c6a6a6527cf6d2acebca270cce47Michael Graff
aad37e39b3ac0388b1b9ea729bc9de263095c8afMichael Graff
c03298d879554fc5dc197c28fd4b686e0d880ee3Mark Andrews### HetCASL with dev graph
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewshetdg: GUI/hetdg.hs $(drifted_files) *.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(RM) $@
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) --make -o $@ $< $(HC_OPTS)  -package-conf ../uni/uni-package.conf  -package uni-davinci -package uni-server
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews### run tests in other directories
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrewscheck: hetcats
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews####################################################################
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews## Preparing the version of HetCATS
6edd0196d3db46c6421e3290e73809ac5dd38286Mark Andrewshetcats/Version.hs: hetcats/Version.in version_nr
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
efe2f579ba6fbec4229129015780f2d925085b04Michael Graff## two hardcoded dependencies for a correct generation of Version.hs
03084608809afbaf570093a14d2dc4ad507336a0Brian Wellingtonhetcats/Options.hs hetcats/WriteFn.hs hetcats/ReadFn.hs: hetcats/Version.hs
8f80322fb58bac39c84bb76cb2bc82406bd6a9ecBrian Wellingtonhets.hs: hetcats/Version.hs
03084608809afbaf570093a14d2dc4ad507336a0Brian Wellington####################################################################
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews## rules for DrIFT
56ea2e19a2428298dbc24fbc3d02938de66b267bBrian Wellington
56ea2e19a2428298dbc24fbc3d02938de66b267bBrian Wellington%.hs: %.ly
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HAPPY) $<
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews#%.hs: %.ag.hs
88ed7381f16a72409061875ddeda598f477e5ef6Michael Graff#   $(AG) $<
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews%.hs: %.der.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(DRIFT) $(DRIFT_OPTS) $< > $@
88ed7381f16a72409061875ddeda598f477e5ef6Michael Graff
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews#%.hs: %.ag
88ed7381f16a72409061875ddeda598f477e5ef6Michael Graff#   $(AG) $< -o $@
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews%.lhs: %.der.lhs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(DRIFT) $< > $@
35c842e05dc6382ce1d9161a658d3ff4b2c3d4c9Bob Halley
35c842e05dc6382ce1d9161a658d3ff4b2c3d4c9Bob Halley## compiling rules for object and interface files
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews%.o %.hi: %.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) -c $< $(HC_OPTS)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews%.o %.hi: %.lhs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) -c $< $(HC_OPTS)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews## compiling rules for dependencies
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews%.d : %.hs
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
1a03b5e68553c37e9cc0097368909dfc37fb8cefMark Andrews
03084608809afbaf570093a14d2dc4ad507336a0Brian Wellington%.d : %.lhs
03084608809afbaf570093a14d2dc4ad507336a0Brian Wellington    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
1a03b5e68553c37e9cc0097368909dfc37fb8cefMark Andrews
03084608809afbaf570093a14d2dc4ad507336a0Brian Wellington####################################################################
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews## Setting a global search path (for dependency files)
7d2b275f7e9238e2c709737601f6260b5a9a4ee1Mark Andrews
ifneq ($(MAKECMDGOALS),clean)
ifneq ($(MAKECMDGOALS),real_clean)
ifneq ($(MAKECMDGOALS),d_clean)
ifneq ($(MAKECMDGOALS),real_clean)
ifneq ($(MAKECMDGOALS),distclean)
ifneq ($(MAKECMDGOALS),genRules)
ifneq ($(MAKECMDGOALS),clean_genRules)
ifeq  ($(MAKECMDGOALS),hets-old)
## include every .d file in INCLUDE_PATH
-include $(objects:.o=.d)
endif

sources_hetcats.mk: hetcats-make hetcats/Version.hs hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
    $(PERL) utils/create_sources.pl hetcats-make sources_hetcats.mk
endif
endif
endif
endif
endif
endif
endif