Cross Reference: /hets/Makefile

	Makefile revision ba0ec5e897ef99d420c8c14c2374e0f32b7043db
bcb4e51a409d94ae670de96afb8483a4f7855294Stephan Bosch
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# hetcats/Makefile
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# $Id$
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen# Author: Klaus L�ttich
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# Year:   2003
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# This Makefile will compile the new hetcats system and provides also
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# targets for test programs during implementation phases.
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# !!! Note: This makefile is written for GNU make !!!
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen#           (gmake on solaris ; make on linux)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen####################################################################
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen## Some varibles, which control the compilation
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenINCLUDE_PATH = ghc:hetcats
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenCOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenCLEAN_PATH = Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Haskell/Language:Modal:CspCASL:$(INCLUDE_PATH)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenDRIFT_ENV = DERIVEPATH='.:ghc:hetcats:/home/linux-bkb/ghc/ghc-latest/lib/ghc-6.0/imports'
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHC         = ghc
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenPERL       = perl
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHAPPY      = happy
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenDRIFT      = $(DRIFT_ENV) $(PERL) utils/DrIFT
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenAG         = $(PERL) utils/ag
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHADDOCK    = $(PERL) utils/haddock
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHC_FLAGS   = -fglasgow-exts -fallow-overlapping-instances -Wall
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHC_INCLUDE = -i$(INCLUDE_PATH)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHC_PACKAGE = -package-conf ../uni/uni-package.conf  -package uni-davinci -package uni-server
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenAG_FLAGS   = -mdcfs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### Profiling and Warnings (only for debugging)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### Attention every module must be compiled with profiling or the linker
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### cannot link the various .o files properly. So after switching on
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### Profiling, do an 'gmake clean; gmake'
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### If you need Profiling comment out the following line
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen#HC_PROF    = -prof -auto-all -Wall
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHCI_OPTS    = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHC_OPTS     = $(HCI_OPTS) $(HC_PROF)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenDRIFT_OPTS  = +RTS -K10 -RTS
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### list of directories to run checks in
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenTESTDIRS    = CASL HasCASL test
2a628a8c90839439baff5b45116f89f2b3cd9e37Aki Tuomi
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen####################################################################
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen## sources for hetcats (semi - manually produced with a perl script)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenifneq ($(MAKECMDGOALS),clean)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenifneq ($(MAKECMDGOALS),bin_clean)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenifneq ($(MAKECMDGOALS),d_clean)
191153d1a5b0eb0c129139570e3aa5212f28d2acJosef 'Jeff' Sipekifneq ($(MAKECMDGOALS),real_clean)
191153d1a5b0eb0c129139570e3aa5212f28d2acJosef 'Jeff' Sipekifneq ($(MAKECMDGOALS),distclean)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenifneq ($(MAKECMDGOALS),genRules)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenifneq ($(MAKECMDGOALS),apache_doc)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenifneq ($(MAKECMDGOALS),clean_genRules)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Siraineninclude sources_hetcats.mk
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenendif
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenendif
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenendif
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenendif
6fb8641aa5619d0c0dcd7be7570767f9688a953dTimo Sirainenendif
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenendif
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenendif
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenendif
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenobjects    = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
e93184a9055c2530366dfe617e07199603c399ddMartti Rannanjärvidrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
3858a7a5da361c35f1e6e50c8e3214dc0cf379d6Phil Carmody    $(gendrifted_files)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainengenrule_files = Common/Lib/Graph.hs Common/Id.hs Common/Result.hs Common/AS_Annotation.der.hs Common/Named.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                CASL/Morphism.hs CASL/StaticAna.hs CASL/AS_Basic_CASL.der.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                Haskell/Language/Syntax.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                HasCASL/Le.hs HasCASL/As.hs HasCASL/Symbol.hs HasCASL/Morphism.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                CspCASL/AS_CSP_CASL.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                Static/DevGraph.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
46b823ac3bce2c0f9f0fc73911e48d3a77b04fbeTimo Sirainengendrifted_files = ATC/Graph.hs ATC/Id.hs ATC/Result.hs ATC/AS_Annotation.hs ATC/Named.hs \
5507b0c7e5106e88e038c24f8067ef8d1be4fbaaTimo Sirainen                   ATC/AS_Library.hs ATC/GlobalAnnotations.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                   ATC/AS_Structured.hs ATC/AS_Architecture.hs ATC/DevGraph.hs \
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen                   CASL/ATC_CASL.hs Haskell/ATC_Haskell.hs HasCASL/ATC_HasCASL.hs CspCASL/ATC_CspCASL.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainengenerated_rule_files = $(patsubst %.hs,%.der.hs,$(gendrifted_files))
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenhappy_files = Haskell/Language/Parser.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# this variable holds the modules that should be documented
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen# the imported parsec library is not included!
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainendoc_sources = $(filter-out Nothing/Nothing% ,$(sources))
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen####################################################################
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### targets
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen.PHONY : clean d_clean real_clean bin_clean check hetana hetpa hetdg clean_genRules genRules
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen.SECONDARY : %.hs %.d $(generated_rule_files)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen#.PRECIOUS: sources_hetcats.mk
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenall: hets
c147bff818798a979d93537f72f5c1f68f5d5ba8Aki Tuomi
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenhets: $(sources)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(HC) --make -o $@ hets.hs $(HC_OPTS)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenhets-old: $(objects)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(RM) $@
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(HC) -o hets $(HC_OPTS) $(objects)
8e8b9d01d454fc3dc81dbe3fd1cca772d1d2c381Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenhetcats-make: hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(RM) hetcats-make sources_hetcats.mk
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make && \
ad9afb64630511d5e25bc5bc11c5304986156928Timo Sirainen         $(PERL) utils/create_sources.pl hetcats-make sources_hetcats.mk
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen###############################
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen### TAGS files for (x)emacs
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen# load them with "M-x" "visit-tags-table" from
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen# "HetCATS/hetcats/hetcats.TAGS"
ad9afb64630511d5e25bc5bc11c5304986156928Timo Sirainen# use "M-." to search for a tag
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen# !!Beware this is somewhat instable, because it uses an absolute path!!
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenhetcats.TAGS: $(sources)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen      $(sources); mv TAGS $@; mv tags hetcats.tags
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen###############################
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen### Documentation via haddock
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainendoc: docs/index.html utils/hd-lib
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainendocs/index.html: $(doc_sources)
00bcc83b18793b9ec5e5d264480a88bf78b10b33Timo Sirainen    $(HADDOCK) $(doc_sources) -o docs -h \
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen          -i/home/linux-bkb/ghc/ghc-6.0/share/ghc-6.0/html/base,/home/linux-bkb/ghc/ghc-6.0/share/ghc-6.0/html/base/base.haddock \
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen          -t 'hets -- a heterogenous Specification (CASL) tool set'
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenapache_doc:
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    cvs up -d
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(MAKE) distclean
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(MAKE) hetcats-make
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(RM) docs/*.html
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(MAKE) doc
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(PERL) utils/post_process_docs.pl docs \
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen            'Common.Lib.Map.html:Common.Lib._Map.html'
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    mv docs/* a-docs/
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen##########################
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen### DrIFT-rule generation
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo SirainengenRules: $(generated_rule_files)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen$(generated_rule_files): $(genrule_files)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(MAKE) clean_genRules
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(foreach file,$(atc_files),$(gen_atc_files))
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    utils/genRules -r $(rule) -o CASL    -h ATC/CASL.header.hs $(casl_files)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    utils/genRules -r $(rule) -o HasCASL -h ATC/HasCASL.header.hs $(hascasl_files)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    utils/genRules -r $(rule) -o CspCASL -h ATC/CspCASL.header.hs $(cspcasl_files)
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    utils/genRules -r $(rule) -o Haskell -h ATC/Haskell.header.hs $(haskell_files)
b317602a1dd7588710bd004404cd68cf2d699361Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenrule = ShATermConvertible
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainengen_atc_files = if [ -e ATC/$(basename $(basename $(notdir $(file)))).header.hs ]; then \
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen                   utils/genRules -r $(rule) -o ATC -h ATC/$(basename $(basename $(notdir $(file)))).header.hs $(file); \
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen                else \
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen                   utils/genRules -r $(rule) -o ATC $(file); \
b317602a1dd7588710bd004404cd68cf2d699361Timo Sirainen                fi ;
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainenatc_files := $(filter-out CASL/% HasCASL/% CspCASL/% Haskell/% ,$(genrule_files))
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainencasl_files := $(filter CASL/% ,$(genrule_files))
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainenhascasl_files := $(filter HasCASL/% ,$(genrule_files))
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainencspcasl_files := $(filter CspCASL/% ,$(genrule_files))
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainenhaskell_files := $(filter Haskell/%,$(genrule_files))
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainenclean_genRules:
b317602a1dd7588710bd004404cd68cf2d699361Timo Sirainen    $(RM) $(generated_rule_files)
b317602a1dd7588710bd004404cd68cf2d699361Timo Sirainen
b317602a1dd7588710bd004404cd68cf2d699361Timo Sirainen###############
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen### clean up
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen### removes *.hi and *.o in all include directories
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainenclean: bin_clean
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    (cd $$p ; $(RM) *.hi *.o) ; done
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen### remove binaries
b317602a1dd7588710bd004404cd68cf2d699361Timo Sirainenbin_clean:
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) hets
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) test_parser
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) CASL/capa
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) HasCASL/hacapa
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) Haskell/hapa
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) Haskell/wrap
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) Syntax/hetpa
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) Static/hetana
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) Static/hetana
b317602a1dd7588710bd004404cd68cf2d699361Timo Sirainen    $(RM) GUI/hetdg
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) hetpa
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) hetana
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    $(RM) hetdg
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen### additonally removes *.d (dependency files) in every include directory
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen### also delete *.d.bak (dependency file backups)
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainend_clean: clean
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen    (cd $$p ; $(RM) *.d *.d.bak) ; done
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen### remove files also in own libraries
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainenlib_clean: clean
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen    for p in $(subst :, ,$(COMMONLIB_PATH)) . ; do \
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen    (cd $$p ; $(RM) *.hi *.d *.o) ; done
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen### additionally removes the files that define the sources-variable
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainenreal_clean: bin_clean lib_clean
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen    $(RM) hetcats-make sources_hetcats.mk
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen    $(RM) AS_*.hs
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen### additionally removes files not in CVS tree
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainendistclean: real_clean clean_genRules d_clean
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen    $(RM) hetcats/Version.hs
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen    $(RM) $(drifted_files)
00bcc83b18793b9ec5e5d264480a88bf78b10b33Timo Sirainen    $(RM) Haskell/Language/Parser.hs
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen####################################################################
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen### test targets
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen####################################################################
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen### a parser to test annotation parser and Id parsers
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainentest_parser: Common/test_parser
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### interactive
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenghci:
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC)i $(HCI_OPTS)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### christian's target
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### CASL parser
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainencapa: CASL/capa
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenCASL/capa: CASL/capa.lhs Common/*.hs CASL/*.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### HasCASL parser
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenhacapa: HasCASL/hacapa
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHasCASL/hacapa: HasCASL/hacapa.lhs CASL/capa HasCASL/*.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### Haskell parser
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenhapa: Haskell/hapa
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHaskell/hapa: Haskell/hapa.lhs Haskell/*.hs Haskell/Language/*.hs $(happy_files)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
bace943c67e6cd14ce6c994f533d82a3caad5bf1Timo Sirainen
3858a7a5da361c35f1e6e50c8e3214dc0cf379d6Phil Carmody### Haskell wrap parser
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenwrap: Haskell/wrap
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo SirainenHaskell/wrap: Haskell/wrap.lhs Haskell/*.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
ad9afb64630511d5e25bc5bc11c5304986156928Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### HetCASL parser
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenhetpa: Syntax/hetpa.hs Syntax/*.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### HetCASL parser
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenhetana: Static/hetana.hs Static/*.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
e93184a9055c2530366dfe617e07199603c399ddMartti Rannanjärvi
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### ATC test system
3858a7a5da361c35f1e6e50c8e3214dc0cf379d6Phil Carmodyatctest: ATC/ATCTest.hs ATC/*.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### HetCASL with dev graph
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenhetdg: GUI/hetdg.hs $(drifted_files) *.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(RM) $@
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HC) --make -o $@ $< $(HC_OPTS)  -package-conf ../uni/uni-package.conf  -package uni-davinci -package uni-server
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen### run tests in other directories
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainencheck: hetcats
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
baf3e87e186453fda13bd21f7cbcb2efc8492e8bTimo Sirainen####################################################################
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen## Preparing the version of HetCATS
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainenhetcats/Version.hs: hetcats/Version.in version_nr
e7f31dfdcf5c51983bc4a489d69714f763128c18Timo Sirainen    $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@
d827cffa4b59591ab2a5a710237e34839ed6a952Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen## two hardcoded dependencies for a correct generation of Version.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainenhetcats/Options.hs hetcats/WriteFn.hs hetcats/ReadFn.hs: hetcats/Version.hs
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen#hets.hs: hetcats/Version.hs
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen####################################################################
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen## rules for DrIFT
697a4fbe2d9cd776b8ceecb0c907a7ad55d3153eTimo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen%.hs: %.ly
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen    $(HAPPY) $<
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen#%.hs: %.ag.hs
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen#   $(AG) $<
443fd76b8dfbb708bf2eab8bf5fe7440cc90eb13Timo Sirainen
%.hs: %.der.hs
    $(DRIFT) $(DRIFT_OPTS) $< > $@

#%.hs: %.ag
#   $(AG) $< -o $@

%.lhs: %.der.lhs
    $(DRIFT) $< > $@

## compiling rules for object and interface files
%.o %.hi: %.hs
    $(HC) -c $< $(HC_OPTS)


%.o %.hi: %.lhs
    $(HC) -c $< $(HC_OPTS)

## compiling rules for dependencies
%.d : %.hs
    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

%.d : %.lhs
    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

####################################################################
## Setting a global search path (for dependency files)

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