61 |
haskell_disable_feature() |
haskell_disable_feature() |
62 |
{ |
{ |
63 |
local feature="$1" |
local feature="$1" |
64 |
haskell_feature_is_supported || die "haskell feature '${feature}' not supported!" |
haskell_feature_is_supported "${feature}" || die "haskell feature '${feature}' not supported!" |
65 |
export HASKELL_FEATURES="${HASKELL_FEATURES/${feature}/}" |
export HASKELL_FEATURES="${HASKELL_FEATURES/${feature}/}" |
66 |
} |
} |
67 |
|
|
68 |
haskell_enable_feature() |
haskell_enable_feature() |
69 |
{ |
{ |
70 |
local feature="$1" |
local feature="$1" |
71 |
haskell_feature_is_supported || die "haskell feature '${feature}' not supported!" |
haskell_feature_is_supported "${feature}" || die "haskell feature '${feature}' not supported!" |
72 |
export HASKELL_FEATURES+=" ${feature}" |
export HASKELL_FEATURES+=" ${feature}" |
73 |
} |
} |
74 |
|
|