mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-06-16 13:30:11 -06:00
added -gf-lib-path option which overides the value of GF_LIB_PATH
This commit is contained in:
@@ -119,7 +119,7 @@ compileModule opts1 env file = do
|
||||
let opts = addOptions opts0 opts1
|
||||
let fdir = dropFileName file
|
||||
let ps0 = flag optLibraryPath opts
|
||||
ps1 <- ioeIO $ extendPathEnv $ fdir : ps0
|
||||
ps1 <- ioeIO $ extendPathEnv opts $ fdir : ps0
|
||||
let ps2 = ps1 ++ map (fdir </>) ps0
|
||||
ps <- ioeIO $ fmap nub $ mapM canonicalizePath ps2
|
||||
ioeIO $ putIfVerb opts $ "module search path:" +++ show ps ----
|
||||
|
||||
Reference in New Issue
Block a user