Makefile revision 3693a4b9ecbb9e16be359723582b49f591520b6b
809N/A# This Makefile will compile the new hetcats system and provides also 809N/A# targets for test programs during implementation phases. 809N/A# !!! Note: This makefile is written for GNU make !!! 0N/A# (gmake on solaris ; make on linux) 809N/A#################################################################### 809N/A## Some varibles, which control the compilation 0N/A### Profiling and Warnings (only for debugging) 0N/A### Attention every module must be compiled with profiling or the linker 0N/A### cannot link the various .o files properly. So after switching on 0N/A### Profiling, do an 'gmake clean; gmake' 0N/A### If you need Profiling comment out the following line 0N/A#HC_PROF = -prof -auto-all -Wall 0N/A### list of directories to run checks in 0N/A#################################################################### 809N/A## sources for hetcats (semi - manually produced with a perl script) 0N/A# this variable holds the modules that should be documented 0N/A# the imported parsec library is not included! 0N/A#################################################################### 0N/A############################### 0N/A### TAGS files for (x)emacs 0N/A# load them with "M-x" "visit-tags-table" from 0N/A# use "M-." to search for a tag 0N/A# !!Beware this is somewhat instable, because it uses an absolute path!! 0N/A############################### 0N/A### Documentation via haddock 0N/A -t
'hets -- a heterogenous Specification (CASL) tool set' 5713N/A### removes *.hi and *.o in all include directories 0N/A### additonally removes *.d (dependency files) in every include directory 0N/A### also delete *.d.bak (dependency file backups) 0N/A### remove files also in own libraries 0N/A (cd $$p ; $(RM) *.hi *.d *.o) ;
done 0N/A### additionally removes the files that define the sources-variable 0N/A### additionally removes files not in CVS tree 809N/A#################################################################### 809N/A#################################################################### 809N/A### a parser to test annotation parser and Id parsers 0N/A### christian's target 0N/A### Haskell wrap parser 0N/A### HetCASL with dev graph 0N/A### run tests in other directories 0N/A#################################################################### 0N/A## Preparing the version of HetCATS 0N/A## two hardcoded dependencies for a correct generation of Version.hs 0N/A#################################################################### 5713N/A## compiling rules for object and interface files 0N/A## compiling rules for dependencies 0N/A#################################################################### 0N/A## Setting a global search path (for dependency files) 0N/A## include every .d file in INCLUDE_PATH