Added a library path to the set of Tock directories
This commit is contained in:
parent
8400de520b
commit
f8103c1d2d
1
Main.hs
1
Main.hs
|
@ -74,6 +74,7 @@ optionsNoWarnings =
|
|||
, Option [] ["run-indent"] (NoArg $ optRunIndent) "run indent on source before compilation (will full mode)"
|
||||
, Option [] ["frontend"] (ReqArg optFrontend "FRONTEND") "language frontend (options: occam, rain)"
|
||||
, Option [] ["include-path"] (NoArg $ optPrintPath tockIncludeDir) "print include path"
|
||||
, Option [] ["lib-path"] (NoArg $ optPrintPath tockLibDir) "print lib path"
|
||||
, Option [] ["mode"] (ReqArg optMode "MODE") "select mode (options: flowgraph, lex, html, parse, compile, post-c, full)"
|
||||
, Option [] ["module-path"] (NoArg $ optPrintPath tockModuleDir) "print module path"
|
||||
, Option ['c'] ["no-main"] (NoArg optNoMain) "file has no main process; do not link either"
|
||||
|
|
|
@ -96,14 +96,17 @@ endif
|
|||
TOCKDIR=$(DATADIR)/tock
|
||||
TOCKMODDIR=$(TOCKDIR)/modules
|
||||
TOCKINCDIR=$(TOCKDIR)/include
|
||||
TOCKLIBDIR=$(TOCKDIR)/lib
|
||||
modulesdir=$(TOCKMODDIR)
|
||||
tockincdir=$(TOCKINCDIR)
|
||||
tocklibdir=$(TOCKLIBDIR)
|
||||
|
||||
config/Paths.hs: config/Paths.hs.in
|
||||
@sed -e 's,@@pkgincludedir@@,$(pkgincludedir),g' config/Paths.hs.in \
|
||||
| sed -e 's,@@tockdir@@,$(TOCKDIR),g' \
|
||||
| sed -e 's,@@tockmoddir@@,$(TOCKMODDIR),g' \
|
||||
| sed -e 's,@@tockincdir@@,$(TOCKINCDIR),g' >config/Paths.hs
|
||||
| sed -e 's,@@tockincdir@@,$(TOCKINCDIR),g' \
|
||||
| sed -e 's,@@tocklibdir@@,$(TOCKLIBDIR),g' >config/Paths.hs
|
||||
|
||||
data/NavAST.hs: GenNavAST$(EXEEXT)
|
||||
./GenNavAST$(EXEEXT) > data/NavAST.hs
|
||||
|
|
|
@ -15,3 +15,6 @@ tockModuleDir = "@@tockmoddir@@"
|
|||
|
||||
tockIncludeDir :: String
|
||||
tockIncludeDir = "@@tockincdir@@"
|
||||
|
||||
tockLibDir :: String
|
||||
tockLibDir = "@@tocklibdir@@"
|
||||
|
|
Loading…
Reference in New Issue
Block a user