GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-13 23:09:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Lets Makefile generate Paths_gf

Browse Source
This commit is contained in:
kr.angelov
2008-05-23 14:16:42 +00:00
parent b89e7a8972
commit e0fb69d2f7
1 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src-3.0/Makefile
View File

@@ -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