Makefile revision 6142
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner# hetcats/Makefile
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder# $Id$
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner# Author: Klaus L�ttich
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner# Year: 2003
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder# This Makefile will compile the new hetcats system and provides also
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner# targets for test programs during implementation phases.
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmd# !!! Note: This makefile is written for GNU make !!!
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmd# (gmake on solaris ; make on linux)
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmd
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder####################################################################
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner## Some varibles, which control the compilation
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerINCLUDE_PATH = ghc:hetcats
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerCOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm
7d0ee72ee91ec305408688b969c43f07b9667c80Christian MaederCLEAN_PATH = Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Haskell/Language:Modal:CspCASL:$(INCLUDE_PATH)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder
0e5b095a19790411e5352fa7cf57cb0388e70472Christian MaederHC = ghc
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerPERL = perl
d23ecf32e56cce69bc42eb5c96dddf7909c623abjelmdHAPPY = happy
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederDRIFT = $(PERL) utils/DrIFT
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederAG = $(PERL) utils/ag
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederHADDOCK = haddock
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHC_FLAGS = -fglasgow-exts -fallow-overlapping-instances -Wall
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHC_INCLUDE = -i$(INCLUDE_PATH)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerHC_PACKAGE =
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerAG_FLAGS = -mdcfs
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner### Profiling and Warnings (only for debugging)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner### Attention every module must be compiled with profiling or the linker
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner### cannot link the various .o files properly. So after switching on
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner### Profiling, do an 'gmake clean; gmake'
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner### If you need Profiling comment out the following line
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa#HC_PROF = -prof -auto-all -Wall
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaHCI_OPTS = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaHC_OPTS = $(HCI_OPTS) $(HC_PROF)
ab4256496e72886018b78571057331f373da6883Eugen Kuksa
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa### list of directories to run checks in
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen KuksaTESTDIRS = CASL HasCASL test
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa####################################################################
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa## sources for hetcats (semi - manually produced with a perl script)
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksa
f8597aabc9db75dcf504e3151faf220a165c90d1Eugen Kuksaifneq ($(MAKECMDGOALS),clean)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerifneq ($(MAKECMDGOALS),bin_clean)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerifneq ($(MAKECMDGOALS),d_clean)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerifneq ($(MAKECMDGOALS),real_clean)
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerifneq ($(MAKECMDGOALS),distclean)
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksainclude sources_hetcats.mk
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksaendif
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksaendif
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerendif
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerendif
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerendif
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerobjects = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\
60e6795dd310e10194e12bb660575aadf941328bEugen Kuksa Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian Maeder
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maederhappy_files = Haskell/Language/Parser.hs
e7757995211bd395dc79d26fe017d99375f7d2a6Christian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder# this variable holds the modules that should be documented
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder# the imported parsec library is not included!
c0c2380bced8159ff0297ece14eba948bd236471Christian Maederdoc_sources = $(filter-out Nothing/Nothing% ,$(sources))
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maeder####################################################################
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder### targets
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder.PHONY : clean d_clean real_clean bin_clean check
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder.SECONDARY : %.hs %.d
1a38107941725211e7c3f051f7a8f5e12199f03acmaeder#.PRECIOUS: sources_hetcats.mk
ce5b44277ea06257548ff625e928cb1290c6d297cmaeder
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maederall: $(sources)
fa8878c6145f652f615a04a5e9c15a1d1327bc92cmaeder $(HC) --make -o hets hets.hs $(HC_OPTS)
ce5b44277ea06257548ff625e928cb1290c6d297cmaeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederhets: $(sources)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(HC) --make -o $@ hets.hs $(HC_OPTS)
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederhets-old: $(objects)
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder $(RM) $@
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder $(HC) -o hets $(HC_OPTS) $(objects)
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroederhetcats-make: hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder $(RM) hetcats-make sources_hetcats.mk
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make && \
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder $(PERL) utils/create_sources.pl hetcats-make sources_hetcats.mk
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder###############################
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder### TAGS files for (x)emacs
825a1e4ca1e768de4b4883c65a6cb1dce6aa0002Christian Maeder# load them with "M-x" "visit-tags-table" from
3dde4051c307b609159a097f08a05108fdd036efJonathan von Schroeder# "HetCATS/hetcats/hetcats.TAGS"
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder# use "M-." to search for a tag
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder# !!Beware this is somewhat instable, because it uses an absolute path!!
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maederhetcats.TAGS: $(sources)
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder $(sources); mv TAGS $@; mv tags hetcats.tags
8b767d09a78927b111f5596fdff9ca7d2c1a439fChristian Maeder
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder###############################
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maeder### Documentation via haddock
4b4a0b61b72cf8478a5d4d5002bca9f699401363Christian Maederdoc: docs/index.html utils/hd-lib
308834907a120fd8771e18292ed2ca9cd767c12dChristian Maeder
bab2d88d650448628730ed3b65c9f99c52500e8cChristian Maederdocs/index.html: $(doc_sources)
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa $(HADDOCK) $(doc_sources) -o docs -h \
8cacad2a09782249243b80985f28e9387019fe40Christian Maeder -t 'hets -- a heterogenous Specification (CASL) tool set'
6a2dad705deefd1b7a7e09b84fd2d75f2213be47Christian Maeder
a7c27282e71cf4505026645f96d4f5cb8a284e32Christian Maederapache_doc:
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder cvs up -d
014dc30f64ec25e4790cca987d4d1e6635430510Christian Maeder $(MAKE) distclean
f04e8f3ff56405901be968fd4c6e9769239f1a9bKlaus Luettich $(MAKE) hetcats-make
6aea82c63ba1d2efc0329bc784a14e521469ec20Christian Maeder $(RM) docs/*.html
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maeder $(MAKE) doc
feca1d35123d8c31aee238c9ce79947b0bf65494Christian Maeder $(PERL) utils/post_process_docs.pl docs \
431d34c7007a787331c4e5ec997badb0f8190fc7Christian Maeder 'Common.Lib.Map.html:Common.Lib._Map.html'
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder mv docs/* a-docs/
f5c0884429b01e74c6e658ded921fb2e16dfb478Christian Maeder
db675e8302ddb0d6528088ce68f5e98a00e890e3Christian Maeder###############
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder### clean up
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder### removes *.hi and *.o in all include directories
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maederclean: bin_clean
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner (cd $$p ; $(RM) *.hi *.o) ; done
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner### remove binaries
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederbin_clean:
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(RM) hets
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(RM) test_parser
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(RM) CASL/capa
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(RM) HasCASL/hacapa
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder $(RM) Haskell/hapa
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner $(RM) Haskell/wrap
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner $(RM) Syntax/hetpa
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder $(RM) Static/hetana
a3c6d8e0670bf2aa71bc8e2a3b1f45d56dd65e4cChristian Maeder $(RM) Static/hetana
dc679edd4ca027663212afdf00926ae2ce19b555Christian Maeder $(RM) GUI/hetdg
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(RM) hetpa
a2d6702f18737cc5fff8e8631c08f221f8375c4bChristian Maeder $(RM) hetana
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(RM) hetdg
fdb2d618144159395f7bf8ce3327b3c112a17dd3Till Mossakowski
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maeder### additonally removes *.d (dependency files) in every include directory
c72c1e75a969ff4c336e77481c2a8e42603f13eeChristian Maeder### also delete *.d.bak (dependency file backups)
4017ebc0f692820736d796af3110c3b3018c108aChristian Maederd_clean: clean
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder (cd $$p ; $(RM) *.d *.d.bak) ; done
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder### remove files also in own libraries
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederlib_clean: clean
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maeder for p in $(subst :, ,$(COMMONLIB_PATH)) . ; do \
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder (cd $$p ; $(RM) *.hi *.d *.o) ; done
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder### additionally removes the files that define the sources-variable
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maederreal_clean: bin_clean lib_clean
d946c1bfdd7d58aa7c023efe864d5999eb44a61bChristian Maeder $(RM) hetcats-make sources_hetcats.mk
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner $(RM) AS_*.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder### additionally removes files not in CVS tree
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederdistclean: real_clean
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder $(RM) hetcats/Version.hs
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner $(RM) $(drifted_files)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(RM) Haskell/Language/Parser.hs
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder####################################################################
ca074a78b8dcccbb8c419586787882f98d0c6163Christian Maeder### test targets
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder####################################################################
8037b7d21021a94b69e4a092f5c98e491333d939cmaeder
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner### a parser to test annotation parser and Id parsers
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maedertest_parser: Common/test_parser
6dc9bc98d0854fe2e3dd3bfc4275096a0c28ee1cChristian Maeder
961087225d1d2b9534152a346d1a3755ed952fcdJens ElknerCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
e6d5dbbc3308f05197868806e0b860f4f53875f1Christian Maeder $(RM) $@
363939beade943a02b31004cea09dec34fa8a6d9Christian Maeder $(HC) --make -o $@ $< $(HC_OPTS)
e4f4d096e5e6d60dd91c746d0e833d0ac7a29c50Christian Maeder
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner### interactive
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederghci:
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner $(HC)i $(HCI_OPTS)
f1541d4a151dbd08002dbd14e7eb1d5dde253689Christian Maeder
961087225d1d2b9534152a346d1a3755ed952fcdJens Elkner### christian's target
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder### CASL parser
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maedercapa: CASL/capa
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maeder
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederCASL/capa: CASL/capa.lhs Common/*.hs CASL/*.hs
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maeder $(RM) $@
81f49ee02aaa3bc870401f8883bf52742eb3ea7aJonathan von Schroeder $(HC) --make -o $@ $< $(HC_OPTS)
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maeder
93f5b72fdb9ee734caa750b43dd79bbb590dcd73Christian Maeder### HasCASL parser
328a85c807f2a95c3f147d10b05927eaf862ebebChristian Maederhacapa: HasCASL/hacapa
8fb127028cb7dd361e348a3252e33487f73428bcJonathan von Schroeder
06dd4e7c29f33f6122a910719e3bd9062256e397Andy GimblettHasCASL/hacapa: HasCASL/hacapa.lhs CASL/capa HasCASL/*.hs
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder $(RM) $@
4ba08bfca0cc8d9da65397b8dfd2654fdb4c0e62Christian Maeder $(HC) --make -o $@ $< $(HC_OPTS)
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9Christian Maeder
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Haskell parser
5b818f10e11fc79def1fdd5c8a080d64a6438d87Christian Maederhapa: Haskell/hapa
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederHaskell/hapa: Haskell/hapa.lhs Haskell/*.hs Haskell/Language/*.hs $(happy_files)
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder $(RM) $@
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder $(HC) --make -o $@ $< $(HC_OPTS)
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder
140287998aa8592c9c403bd9e308e447ba92ae11Christian Maeder### Haskell wrap parser
c208973c890b8f993297720fd0247bc7481d4304Christian Maederwrap: Haskell/wrap
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder
aded505f9b42cc38975559c2a5d175ae95de436bChristian MaederHaskell/wrap: Haskell/wrap.lhs Haskell/*.hs
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder $(RM) $@
8b0f493ae42bad8b94918cc0957f1af57096cda4Felix Reckers $(HC) --make -o $@ $< $(HC_OPTS)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder
9e748851c150e1022fb952bab3315e869aaf0214Christian Maeder### HetCASL parser
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederhetpa: Syntax/hetpa.hs Syntax/*.hs
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder $(RM) $@
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder $(HC) --make -o $@ $< $(HC_OPTS)
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder### HetCASL parser
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maederhetana: Static/hetana.hs Static/*.hs
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder $(RM) $@
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder $(HC) --make -o $@ $< $(HC_OPTS)
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder### HetCASL with dev graph
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maederhetdg: GUI/hetdg.hs $(drifted_files) *.hs
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder $(RM) $@
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder $(HC) --make -o $@ $< $(HC_OPTS) -package-conf ../uni/uni-package.conf -package uni-davinci -package uni-server
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder### run tests in other directories
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maedercheck: hetcats
383aa66e5142365fe9b1f88b18c1da5b27cc8c04Christian Maeder for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maeder
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maeder####################################################################
a14767aeac3e78ed100f5b75e210ba563ee10dbaChristian Maeder## Preparing the version of HetCATS
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maederhetcats/Version.hs: hetcats/Version.in version_nr
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maeder## two hardcoded dependencies for a correct generation of Version.hs
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maederhetcats/Options.hs: hetcats/Version.hs
54ea981a0503c396c2923a1c06421c6235baf27fChristian Maederhets.hs: hetcats/Version.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder####################################################################
3554301a34639efb6c9961a8571775d0061284c9Christian Maeder## rules for DrIFT
697e63e30aa3c309a1ef1f9357745111f8dfc5a9Christian Maeder
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder%.hs: %.ly
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder $(HAPPY) $<
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder%.hs: %.ag.hs
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder $(AG) $<
819e29dba060687cf391e444e0f6ff88c1908cc3Christian Maeder
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder%.hs: %.der.hs
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder $(DRIFT) $< > $@
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder%.hs: %.ag
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder $(AG) $< -o $@
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder%.lhs: %.der.lhs
254df6f22d01eacf7c57b85729e0445747b630d9Christian Maeder $(DRIFT) $< > $@
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder## compiling rules for object and interface files
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder%.o %.hi: %.hs
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder $(HC) -c $< $(HC_OPTS)
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
ac34194a668399bb8ef238da77c3a09e93fb253bChristian Maeder
4fc9de0da898448f1d3597ebbd8c04a066464c21Christian Maeder%.o %.hi: %.lhs
aded505f9b42cc38975559c2a5d175ae95de436bChristian Maeder $(HC) -c $< $(HC_OPTS)
d23b0cc79c0d204e6ec758dff8d0ba71c9f693f7Christian Maeder
c208973c890b8f993297720fd0247bc7481d4304Christian Maeder## compiling rules for dependencies
c208973c890b8f993297720fd0247bc7481d4304Christian Maeder%.d : %.hs
c208973c890b8f993297720fd0247bc7481d4304Christian Maeder $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder%.d : %.lhs
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian Maeder
0d0278c34a374b29c2d6c58b39b8b56e283d48e8Christian Maeder####################################################################
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5Christian Maeder## Setting a global search path (for dependency files)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maeder
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maederifneq ($(MAKECMDGOALS),clean)
986d3f255182539098a97ac86da9eeee5b7a72e3Christian Maederifneq ($(MAKECMDGOALS),real_clean)
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maederifneq ($(MAKECMDGOALS),d_clean)
4561227a776bdf0ab679b19fb92f1eaaed8786f7Christian Maederifneq ($(MAKECMDGOALS),real_clean)
01e278bdd7dce13b9303ed3d79683d83c89d09f9Liam O'Reillyifneq ($(MAKECMDGOALS),distclean)
61fa0ac06ede811c7aad54ec4c4202346727368eChristian Maeder## include every .d file in INCLUDE_PATH
5ad5dffe06818a13e1632b1119fbca7881085fc1Dominik Luecke-include $(objects:.o=.d)
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maeder
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maedersources_hetcats.mk: hetcats-make hetcats/Version.hs
8c812cd83569e973f10cf69a342424ceabc07af9Christian Maederendif
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescuendif
31d6d9286988dc31639d105841296759aeb743e0Jonathan von Schroederendif
1535e1d8c82db5f7e2402261983c4c2ef39f4f39Mihai Codescuendif
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroederendif
7a3fe82695aa32657693e05712f84d7f81672f2eJonathan von Schroeder