Makefile revision f29371d8bd5a232c974e736b06d0d8a655d320fb
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder# Author: Klaus L�ttich
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder# This Makefile will compile the new hetcats system and provides also
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder# targets for test programs during implementation phases.
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder# !!! Note: This makefile is written for GNU make !!!
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder# (gmake on solaris ; make on linux)
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder####################################################################
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder## Some varibles, which control the compilation
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederCOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm
68d10d143f29fcff3c637ba24f90e983995ceae6Christian MaederCLEAN_PATH = Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Haskell/Language:Modal:CspCASL:ATC:ToHaskell:Proofs:Comorphisms:$(INCLUDE_PATH)
a53841f6d6e86ac751c12a33dc8aadf53f59d977Klaus LuettichDRIFT_ENV = DERIVEPATH='.:ghc:hetcats:/home/linux-bkb/ghc/ghc-latest/lib/ghc-6.0/imports'
5e5d3e82af3bc2834f8718a52d9f45da80220273Dominik LueckeHC_FLAGS = -fglasgow-exts -fallow-overlapping-instances -Wall
ce8b15da31cd181b7e90593cbbca98f47eda29d6Till MossakowskiHC_PACKAGE = -package-conf ../uni/uni-package.conf -package uni-davinci -package uni-server
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder### Profiling and Warnings (only for debugging)
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian Maeder### Attention every module must be compiled with profiling or the linker
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder### cannot link the various .o files properly. So after switching on
8410667510a76409aca9bb24ff0eda0420088274Christian Maeder### Profiling, do an 'gmake clean; gmake'
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder### If you need Profiling comment out the following line
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder#HC_PROF = -prof -auto-all -Wall
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus LuettichHCI_OPTS = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)
4cb215739e9ab13447fa21162482ebe485b47455Christian Maeder### list of directories to run checks in
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder####################################################################
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder## sources for hetcats (semi - manually produced with a perl script)
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maederobjects = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maederdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\
dcbd32289a7bdf1e6edd06c6ab0698c6a9dbf37aChristian Maeder Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maedergenrule_files = Common/Lib/Graph.hs Common/Id.hs Common/Result.hs Common/AS_Annotation.der.hs Common/Named.hs \
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
09d6f5d326545acfea43d3ffe1493c2176366475Christian Maeder CASL/Morphism.hs CASL/StaticAna.hs CASL/AS_Basic_CASL.der.hs \
356fa49fe3e6a8398f92d13e9f920d0f093697ecChristian Maeder HasCASL/Le.hs HasCASL/As.hs HasCASL/Symbol.hs HasCASL/Morphism.hs \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maedergendrifted_files = ATC/Graph.hs ATC/Id.hs ATC/Result.hs ATC/AS_Annotation.hs ATC/Named.hs \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder ATC/AS_Library.hs ATC/GlobalAnnotations.hs \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder ATC/AS_Structured.hs ATC/AS_Architecture.hs ATC/DevGraph.hs \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder CASL/ATC_CASL.hs Haskell/ATC_Haskell.hs HasCASL/ATC_HasCASL.hs CspCASL/ATC_CspCASL.hs
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maedergenerated_rule_files = $(patsubst %.hs,%.der.hs,$(gendrifted_files))
0206ab93ef846e4e0885996d052b9b73b9dc66b0Christian Maeder# this variable holds the modules that should be documented
f13d1e86e58da53680e78043e8df182eed867efbChristian Maeder# the imported parsec library is not included!
b9b331bded61b8860edacac91df16ee19e465b42Christian Maederdoc_sources = $(filter-out Nothing/Nothing% ,$(sources))
79e80c4b3f0ebb337d84415a50f29ccfc793e68bChristian Maeder####################################################################
36f63902db2b3463faa9f59912ad106e2d5aaa24Klaus Luettich.PHONY : clean d_clean real_clean bin_clean check hetana hetpa hetdg clean_genRules genRules
d3ae0072823e2ef0d41d4431fcc768e66489c20eChristian Maederhetcats-make: hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder###############################
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder### TAGS files for (x)emacs
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder# load them with "M-x" "visit-tags-table" from
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder# use "M-." to search for a tag
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder# !!Beware this is somewhat instable, because it uses an absolute path!!
a6db617ca58eb6a0587b6366e913107dfecb71b5Heng Jiang /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
64d532f676706149814b58c97cd064ca5993cccfChristian Maeder $(sources); mv TAGS $@; mv tags hetcats.tags
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder###############################
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder### Documentation via haddock
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder -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 \
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder -t 'hets -- a heterogenous Specification (CASL) tool set'
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder#############################
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder### ATC DrIFT-rule generation
a5e5b8c3e5c11177e5034ef2423813a5d28979edChristian Maeder $(foreach file,$(atc_files),$(gen_atc_files))
2d130d212db7208777ca896a7ecad619a8944971Christian Maeder utils/genRules -r $(rule) -o CASL -h ATC/CASL.header.hs $(casl_files)
bc8cbf12aa172bf5673b92a9e7a0151d4aa4c315Christian Maeder utils/genRules -r $(rule) -o HasCASL -h ATC/HasCASL.header.hs $(hascasl_files)
2d130d212db7208777ca896a7ecad619a8944971Christian Maeder utils/genRules -r $(rule) -o CspCASL -h ATC/CspCASL.header.hs $(cspcasl_files)
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder utils/genRules -r $(rule) -o Haskell -h ATC/Haskell.header.hs $(haskell_files)
6ff7a91875597d6e4dfaa68c79187d01473e8341Christian Maedergen_atc_files = if [ -f ATC/$(basename $(basename $(notdir $(file)))).header.hs ]; then \
6ff7a91875597d6e4dfaa68c79187d01473e8341Christian Maeder utils/genRules -r $(rule) -o ATC -h ATC/$(basename $(basename $(notdir $(file)))).header.hs $(file); \
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maeder utils/genRules -r $(rule) -o ATC $(file); \
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederatc_files := $(filter-out CASL/% HasCASL/% CspCASL/% Haskell/% ,$(genrule_files))
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maedercasl_files := $(filter CASL/% ,$(genrule_files))
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maederhascasl_files := $(filter HasCASL/% ,$(genrule_files))
6a79849bed67264c396dddb3e9c184bdfc1a1bc9Christian Maedercspcasl_files := $(filter CspCASL/% ,$(genrule_files))
88318aafc287e92931dceffbb943d58a9310001dChristian Maederhaskell_files := $(filter Haskell/%,$(genrule_files))
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder###############
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder### removes *.hi and *.o in all include directories
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder### remove binaries
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder### additonally removes *.d (dependency files) in every include directory
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder### also delete *.d.bak (dependency file backups)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder### remove files also in own libraries
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder for p in $(subst :, ,$(COMMONLIB_PATH)) . ; do \
e6d5dbbc3308f05197868806e0b860f4f53875f1Christian Maeder### additionally removes the files that define the sources-variable
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder### additionally removes files not in CVS tree
363939beade943a02b31004cea09dec34fa8a6d9Christian Maederdistclean: real_clean clean_genRules d_clean
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder####################################################################
13731dfbb4b6a31b35dd210e832e920065b6ac45Christian Maeder### test targets
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder####################################################################
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder### a parser to test annotation parser and Id parsers
e7757995211bd395dc79d26fe017d99375f7d2a6Christian MaederCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder### interactive
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder### christian's target
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder### CASL parser
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian MaederCASL/capa: CASL/capa.lhs Common/*.hs CASL/*.hs
06dd4e7c29f33f6122a910719e3bd9062256e397Andy Gimblett### HasCASL parser
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix ReckersHasCASL/hacapa: HasCASL/hacapa.lhs CASL/capa HasCASL/*.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder### Haskell parser
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian MaederHaskell/hapa: Haskell/hapa.lhs Haskell/*.hs Haskell/Language/*.hs $(happy_files)
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder### Haskell wrap parser
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder### HetCASL parser
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder### HetCASL parser
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder### ATC test system
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder### HetCASL with dev graph
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder $(HC) --make -o $@ $< $(HC_OPTS) -package-conf ../uni/uni-package.conf -package uni-davinci -package uni-server
ac34194a668399bb8ef238da77c3a09e93fb253bChristian Maeder### run tests in other directories
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
4c8d3c5a9e938633f6147b5a595b9b93bfca99e6Christian Maeder####################################################################
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian Maeder## Preparing the version of HetCATS
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederhetcats/Version.hs: hetcats/Version.in version_nr
986d3f255182539098a97ac86da9eeee5b7a72e3Christian Maeder $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maeder## two hardcoded dependencies for a correct generation of Version.hs
01e278bdd7dce13b9303ed3d79683d83c89d09f9Liam O'Reillyhetcats/Options.hs hetcats/WriteFn.hs hetcats/ReadFn.hs: hetcats/Version.hs
5ad5dffe06818a13e1632b1119fbca7881085fc1Dominik Luecke####################################################################
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maeder## rules for DrIFT
0b349288edfa50fdf38fda1a14e1562d03f92574Christian Maeder# $(AG) $< -o $@
a6db617ca58eb6a0587b6366e913107dfecb71b5Heng Jiang## compiling rules for object and interface files
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder## compiling rules for dependencies
fdb2d618144159395f7bf8ce3327b3c112a17dd3Till Mossakowski####################################################################
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder## Setting a global search path (for dependency files)
e059476130210dbb1896e753eb0a5e8c4f219f4aChristian Maeder## include every .d file in INCLUDE_PATH
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maedersources_hetcats.mk: hetcats-make hetcats/Version.hs hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)