Commit 3e664735 authored by andy@galois.com's avatar andy@galois.com
Browse files

Fixing -fhpc flag to allow -fno-hpc

parent 878924ac
...@@ -160,10 +160,6 @@ static_flags = [ ...@@ -160,10 +160,6 @@ static_flags = [
, ( "dppr-user-length", AnySuffix addOpt ) , ( "dppr-user-length", AnySuffix addOpt )
-- rest of the debugging flags are dynamic -- rest of the debugging flags are dynamic
--------- Haskell Program Coverage -----------------------------------
, ( "fhpc" , PassFlag addOpt )
--------- Profiling -------------------------------------------------- --------- Profiling --------------------------------------------------
, ( "auto-all" , NoArg (addOpt "-fauto-sccs-on-all-toplevs") ) , ( "auto-all" , NoArg (addOpt "-fauto-sccs-on-all-toplevs") )
, ( "auto" , NoArg (addOpt "-fauto-sccs-on-exported-toplevs") ) , ( "auto" , NoArg (addOpt "-fauto-sccs-on-exported-toplevs") )
...@@ -370,7 +366,8 @@ isStaticFlag f = ...@@ -370,7 +366,8 @@ isStaticFlag f =
"fext-core", "fext-core",
"fcpr-off", "fcpr-off",
"ferror-spans", "ferror-spans",
"fPIC" "fPIC",
"fhpc"
] ]
|| any (flip prefixMatch f) [ || any (flip prefixMatch f) [
"fliberate-case-threshold", "fliberate-case-threshold",
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment