Skip to content
Snippets Groups Projects
Commit abbcc6b1 authored by Michael Hanus's avatar Michael Hanus
Browse files

Updates w.r.t package `currypath`

parent 4f38e6d6
Branches
Tags
1 merge request!1Use records and add parameter for specifying path to frontend executable
Copyright (c) 2018, Michael Hanus
Copyright (c) 2020, Michael Hanus
All rights reserved.
Redistribution and use in source and binary forms, with or without
......
......@@ -14,10 +14,6 @@
"process" : ">= 3.0.0, < 4.0.0",
"propertyfile" : ">= 3.0.0, < 4.0.0"
},
"compilerCompatibility": {
"pakcs": ">= 3.0.0, < 4.0.0",
"kics2": ">= 3.0.0, < 4.0.0"
},
"exportedModules": [ "System.FrontendExec" ],
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/frontend-exec.git",
......
......@@ -23,10 +23,10 @@ import Data.List ( intercalate, nub )
import Data.PropertyFile ( getPropertiesFromFile )
import System.FilePath ( FilePath, (</>), takeDirectory, takeFileName )
import System.Process ( system )
import System.CurryPath ( currySubdir, getLoadPathForModule )
import System.CurryPath ( curryrcFileName, currySubdir, getLoadPathForModule )
import Language.Curry.Distribution
( curryCompiler, curryCompilerMajorVersion
, curryCompilerMinorVersion, installDir, rcFileName
, curryCompilerMinorVersion, installDir
)
-------------------------------------------------------------------
......@@ -89,7 +89,7 @@ defaultParams =
--- specific resource configuration file.
rcParams :: IO FrontendParams
rcParams = do
rcfile <- rcFileName
rcfile <- curryrcFileName
[mbExtended,mbOverlapWarn] <- getPropertiesFromFile rcfile
["curryextensions","warnoverlapping"]
return $ setExtended (mbExtended /= Just "no")
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment