diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-23 14:16:42 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-23 14:16:42 +0000 |
| commit | e0fb69d2f78c9308a0300bdeffc4c9c373ca2fc0 (patch) | |
| tree | 7f603bc548b96d68fdc1d5d937bff807bd281fd6 /src-3.0 | |
| parent | b89e7a89726504fe5d88a26a585a598a73e66ee7 (diff) | |
Lets Makefile generate Paths_gf
Diffstat (limited to 'src-3.0')
| -rw-r--r-- | src-3.0/Makefile | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/src-3.0/Makefile b/src-3.0/Makefile index 66e709e18..e668006bc 100644 --- a/src-3.0/Makefile +++ b/src-3.0/Makefile @@ -139,16 +139,17 @@ ghci-nofud: $(GHCI) $(GHCFLAGS) today: - echo 'module GF.Today (today,version,libdir) where' > GF/Today.hs - echo '{-# NOINLINE today #-}' >> GF/Today.hs - echo 'today :: String' >> GF/Today.hs - echo 'today = "'`date`'"' >> GF/Today.hs - echo '{-# NOINLINE version #-}' >> GF/Today.hs + echo 'module Paths_gf (getDataDir) where' > Paths_gf.hs + echo '{-# NOINLINE today #-}' >> Paths_gf.hs + echo 'today :: String' >> Paths_gf.hs + echo 'today = "'`date`'"' >> Paths_gf.hs + echo '{-# NOINLINE version #-}' >> Paths_gf.hs echo 'version :: String' >> GF/Today.hs - echo 'version = "'$(PACKAGE_VERSION)'"' >> GF/Today.hs - echo '{-# NOINLINE libdir #-}' >> GF/Today.hs - echo 'libdir :: String' >> GF/Today.hs - echo 'libdir = "'$(GF_LIB_DIR)'"' >> GF/Today.hs + echo 'version = "'$(PACKAGE_VERSION)'"' >> Paths_gf.hs + echo '{-# NOINLINE libdir #-}' >> Paths_gf.hs + echo 'libdir :: String' >> Paths_gf.hs + echo 'libdir = "'$(GF_LIB_DIR)'"' >> Paths_gf.hs + echo 'getDataDir = return libdir :: IO FilePath' >> Paths_gf.hs javac: $(JAVAC) $(JAVAFLAGS) -classpath $(GFEDITOR)/jargs-1.0.jar $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.java |