220N/A

1472N/A# hetcats/Makefile

220N/A# $Id$

220N/A# Author: Klaus L�ttich

220N/A# Year: 2003

220N/A

220N/A# This Makefile will compile the new hetcats system and provides also

220N/A# targets for test programs during implementation phases.

220N/A

220N/A# !!! Note: This makefile is written for GNU make !!!

220N/A# (gmake on solaris ; make on linux)

220N/A

220N/A####################################################################

220N/A## Some varibles, which control the compilation

220N/A

220N/AINCLUDE_PATH = ghc:hetcats

220N/ACOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm

220N/ACLEAN_PATH = Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Haskell/Language:Modal:CspCASL:$(INCLUDE_PATH)

1472N/A

1472N/AHC = ghc

1472N/APERL = perl

220N/AHAPPY = happy

220N/ADRIFT = $(PERL) utils/DrIFT

220N/AAG = $(PERL) utils/ag

220N/AHADDOCK = $(PERL) utils/haddock

220N/A

220N/AHC_FLAGS = -fglasgow-exts -fallow-overlapping-instances -Wall

220N/AHC_INCLUDE = -i$(INCLUDE_PATH)

220N/AHC_PACKAGE =

220N/A

220N/AAG_FLAGS = -mdcfs

220N/A

220N/A### Profiling and Warnings (only for debugging)

220N/A### Attention every module must be compiled with profiling or the linker

220N/A### cannot link the various .o files properly. So after switching on

220N/A### Profiling, do an 'gmake clean; gmake'

220N/A### If you need Profiling comment out the following line

220N/A#HC_PROF = -prof -auto-all -Wall

220N/A

220N/AHCI_OPTS = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)

417N/AHC_OPTS = $(HCI_OPTS) $(HC_PROF)

220N/A

220N/A### list of directories to run checks in

220N/ATESTDIRS = CASL HasCASL test

220N/A

220N/A####################################################################

220N/A## sources for hetcats (semi - manually produced with a perl script)

220N/A

220N/Aifneq ($(MAKECMDGOALS),clean)

220N/Aifneq ($(MAKECMDGOALS),bin_clean)

220N/Aifneq ($(MAKECMDGOALS),d_clean)

220N/Aifneq ($(MAKECMDGOALS),real_clean)

220N/Aifneq ($(MAKECMDGOALS),distclean)

220N/Ainclude sources_hetcats.mk

220N/Aendif

220N/Aendif

220N/Aendif

220N/Aendif

220N/Aendif

220N/A

220N/Aobjects = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))

220N/A

220N/Adrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\

220N/A Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs

220N/A

220N/A# this variable holds the modules that should be documented

220N/A# the imported parsec library is not included!

220N/Adoc_sources = $(filter-out Nothing/Nothing% ,$(sources))

220N/A

220N/A####################################################################

220N/A### targets

220N/A

220N/A.PHONY : clean d_clean real_clean bin_clean check

220N/A.SECONDARY : %.hs %.d

220N/A#.PRECIOUS: sources_hetcats.mk

220N/A

220N/Ahets: $(objects)

220N/A $(RM) $@

220N/A $(HC) -o $@ $(HC_OPTS) $(objects)

220N/A

220N/Ahetcats-make: hets.hs utils/create_sources.pl $(drifted_files)

220N/A $(RM) hetcats-make sources_hetcats.mk

220N/A $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make && \

220N/A $(PERL) utils/create_sources.pl hetcats-make sources_hetcats.mk

220N/A

220N/A###############################

220N/A### TAGS files for (x)emacs

220N/A# load them with "M-x" "visit-tags-table" from

220N/A# "HetCATS/hetcats/hetcats.TAGS"

220N/A# use "M-." to search for a tag

220N/A# !!Beware this is somewhat instable, because it uses an absolute path!!

417N/Ahetcats.TAGS: $(sources)

417N/A /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \

417N/A $(sources); mv TAGS $@; mv tags hetcats.tags

417N/A

417N/A###############################

417N/A### Documentation via haddock

417N/Adoc: docs/index.html utils/hd-lib

417N/A

417N/Adocs/index.html: $(doc_sources)

417N/A $(HADDOCK) $(doc_sources) -o docs -h \

417N/A -t 'hets -- a heterogenous Specification (CASL) tool set'

417N/A

220N/Aapache_doc:

220N/A cvs up -d

220N/A $(MAKE) distclean

220N/A $(RM) docs/*.html

220N/A $(MAKE) doc

220N/A $(PERL) utils/post_process_docs.pl docs \

220N/A 'Common.Lib.Map.html:Common.Lib._Map.html'

220N/A

220N/A###############

220N/A### clean up

220N/A

220N/A### removes *.hi and *.o in all include directories

220N/Aclean: bin_clean

220N/A for p in $(subst :, ,$(CLEAN_PATH)) . ; do \

220N/A (cd $$p ; $(RM) *.hi *.o) ; done

220N/A

220N/A### remove binaries

220N/Abin_clean:

220N/A $(RM) hets

220N/A $(RM) test_parser

220N/A $(RM) CASL/capa

220N/A $(RM) HasCASL/hacapa

220N/A $(RM) Haskell/hapa

220N/A $(RM) Haskell/wrap

220N/A $(RM) Syntax/hetpa

220N/A $(RM) Static/hetana

220N/A $(RM) Static/hetana

220N/A $(RM) GUI/hetdg

220N/A $(RM) hetpa

220N/A $(RM) hetana

220N/A $(RM) hetdg

220N/A

220N/A### additonally removes *.d (dependency files) in every include directory

220N/A### also delete *.d.bak (dependency file backups)

220N/Ad_clean: clean

220N/A for p in $(subst :, ,$(CLEAN_PATH)) . ; do \

220N/A (cd $$p ; $(RM) *.d *.d.bak) ; done

220N/A

220N/A### remove files also in own libraries

220N/Alib_clean:

220N/A for p in $(subst :, ,$(COMMONLIB_PATH):$(CLEANPATH)) . ; do \

220N/A (cd $$p ; $(RM) *.hi *.d *.o) ; done

220N/A

220N/A### additionally removes the files that define the sources-variable

220N/Areal_clean: bin_clean lib_clean

220N/A $(RM) hetcats-make sources_hetcats.mk

220N/A $(RM) AS_*.hs

220N/A

220N/A### additionally removes files not in CVS tree

220N/Adistclean: real_clean

220N/A $(RM) hetcats/Version.hs

220N/A $(RM) $(drifted_files)

220N/A $(RM) Haskell/Language/Parser.hs

220N/A

220N/A####################################################################

220N/A### test targets

220N/A####################################################################

220N/A

220N/A### a parser to test annotation parser and Id parsers

220N/Atest_parser: Common/test_parser

220N/A

220N/ACommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS)

220N/A

220N/A### interactive

220N/Aghci:

220N/A $(HC)i $(HCI_OPTS)

220N/A

220N/A### christian's target

220N/A### CASL parser

220N/Acapa: CASL/capa

220N/A

220N/ACASL/capa: CASL/capa.lhs Common/*.hs CASL/*.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS)

220N/A

220N/A### HasCASL parser

220N/Ahacapa: HasCASL/hacapa

220N/A

220N/AHasCASL/hacapa: HasCASL/hacapa.lhs CASL/capa HasCASL/*.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS)

220N/A

220N/A### Haskell parser

220N/Ahapa: Haskell/hapa

220N/A

220N/AHaskell/hapa: Haskell/hapa.lhs Haskell/*.hs $(drifted_files) Haskell/Language/Parser.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS)

220N/A

220N/AHaskell/Language/Parser.hs: Haskell/Language/Parser.ly

220N/A $(HAPPY) $<

220N/A

220N/A### Haskell wrap parser

220N/Awrap: Haskell/wrap

220N/A

220N/AHaskell/wrap: Haskell/wrap.lhs Haskell/*.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS)

220N/A

220N/A### HetCASL parser

220N/Ahetpa: Syntax/hetpa.hs $(drifted_files) Haskell/Language/Parser.hs *.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS)

417N/A

220N/A### HetCASL parser

220N/Ahetana: Static/hetana.hs $(drifted_files) *.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS)

220N/A

220N/A### HetCASL with dev graph

220N/Ahetdg: GUI/hetdg.hs $(drifted_files) *.hs

220N/A $(RM) $@

220N/A $(HC) --make -o $@ $< $(HC_OPTS) -package-conf ../uni/uni-package.conf -package uni-davinci -package uni-server

220N/A

220N/A

220N/A### run tests in other directories

220N/Acheck: hetcats

417N/A for i in $(TESTDIRS); do $(MAKE) -C $$i check; done

220N/A

220N/A####################################################################

220N/A## Preparing the version of HetCATS

220N/Ahetcats/Version.hs: hetcats/Version.in version_nr

220N/A $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@

220N/A

220N/A## two hardcoded dependencies for a correct generation of Version.hs

220N/Ahetcats/Options.hs: hetcats/Version.hs

220N/Ahets.hs: hetcats/Version.hs

220N/A####################################################################

220N/A## rules for DrIFT

220N/A

220N/A%.ly: %.hs

220N/A $(HAPPY) $<

220N/A

220N/A%.hs: %.ag.hs

417N/A $(AG) $<

220N/A

220N/A%.hs: %.der.hs

220N/A $(DRIFT) $< > $@

220N/A

220N/A%.hs: %.ag

220N/A $(AG) $< -o $@

220N/A

220N/A%.lhs: %.der.lhs

220N/A $(DRIFT) $< > $@

220N/A

220N/A## compiling rules for object and interface files

220N/A%.o %.hi: %.hs

220N/A $(HC) -c $< $(HC_OPTS)

220N/A

220N/A

220N/A%.o %.hi: %.lhs

220N/A $(HC) -c $< $(HC_OPTS)

220N/A

220N/A## compiling rules for dependencies

220N/A%.d : %.hs

220N/A $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

220N/A

220N/A%.d : %.lhs

220N/A $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

220N/A

220N/A####################################################################

220N/A## Setting a global search path (for dependency files)

417N/A

220N/Aifneq ($(MAKECMDGOALS),clean)

220N/Aifneq ($(MAKECMDGOALS),real_clean)

220N/Aifneq ($(MAKECMDGOALS),d_clean)

220N/Aifneq ($(MAKECMDGOALS),real_clean)

220N/Aifneq ($(MAKECMDGOALS),distclean)

220N/A## include every .d file in INCLUDE_PATH

220N/A-include $(objects:.o=.d)

220N/A

220N/Asources_hetcats.mk: hetcats-make hetcats/Version.hs

220N/Aendif

220N/Aendif

220N/Aendif

220N/Aendif

220N/Aendif

220N/A