Makefile revision 3f0e96faca7258f228ea9bc3659471e488507ff4
2N/A# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2004 2N/A# This Makefile will compile the new hetcats system and provides also 2N/A# targets for test programs during implementation phases. 2N/A# !!! Note: This makefile is written for GNU make !!! 2N/A# (gmake on solaris ; make on linux) 2N/A#################################################################### 2N/A## Some varibles, which control the compilation 2N/A## set ghc imports properly for your system 2N/A# override on commandline for other architectures 2N/A# -ddump-minimal-imports 2N/A# but added it here in case of compilation without uni 2N/A### Profiling (only for debugging) 2N/A### Attention every module must be compiled with profiling or the linker 2N/A### cannot link the various .o files properly. So after switching on 2N/A### Profiling, do an 'gmake real_clean; gmake' 2N/A### and comment out HC_PACKAGE variable definition above. 2N/A### Comment in the following line for switching on profiling. 2N/A#HC_PROF = -prof -auto-all 2N/A### list of directories to run checks in 2N/A#################################################################### 2N/A## sources for hetcats (semi - manually produced with a perl script) 2N/A# this variable holds the modules that should be documented 2N/A# the imported parsec library is not included! 2N/A#################################################################### 2N/A############################### 2N/A### TAGS files for (x)emacs 2N/A# load them with "M-x" "visit-tags-table" from 2N/A# use "M-." to search for a tag 2N/A# !!Beware this is somewhat instable, because it uses an absolute path!! 2N/A############################### 2N/A### count lines of code 2N/A############################### 2N/A### Documentation via haddock 2N/A# index for prelude is missing 2N/A -t
'hets -- a heterogenous Specification (CASL) tool set' 2N/A############################### 2N/A### release management 2N/A############################# 2N/A### ATC DrIFT-rule generation 2N/A### removes *.hi and *.o in all include directories 2N/A### additonally removes *.d (dependency files) in every include directory 2N/A### also delete *.d.bak (dependency file backups) 2N/A### remove files also in own libraries 2N/A (cd $$p ; $(RM) *.hi *.d *.o) ;
done 2N/A### additionally removes the files that define the sources-variable 2N/A### additionally removes files not in CVS tree 2N/A# $(RM) $(happy_files) 2N/A#################################################################### 2N/A#################################################################### 2N/A### a parser to test annotation parser and Id parsers 2N/A### christian's target 2N/A### HetCASL with dev graph 2N/A### run tests in other directories 2N/A#################################################################### 2N/A## Preparing the version of HetCATS 2N/A## two hardcoded dependencies for a correct generation of Version.hs 2N/A#################################################################### 2N/A## rules for inlineAxioms 2N/A## rule for cpp and haddock 2N/A## compiling rules for object and interface files 2N/A## compiling rules for dependencies 2N/A#################################################################### 2N/A## Setting a global search path (for dependency files) 2N/A## include every .d file in INCLUDE_PATH