diff options
Diffstat (limited to 'libraries/Makefile')
| -rw-r--r-- | libraries/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index ce28841320..b0179cae31 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -120,9 +120,6 @@ ifeq "$(ghc_ge_605)" "NO" CABAL_GHC_FLAGS += -cpp endif -# Euch, hideous hack: -CABAL_VERSION = $(shell grep "^Version:" Cabal/Cabal.cabal | sed -e "s/^Version: //" -e 's/\./,/g') - BOOTSTRAPPING_FLAGS = $(CABAL_GHC_FLAGS) -DCABAL_VERSION=$(CABAL_VERSION) -odir $(HERE_ABS)/bootstrapping -hidir $(HERE_ABS)/bootstrapping -i$(HERE_ABS)/Cabal -i$(HERE_ABS)/filepath -i$(HERE_ABS)/hpc .PHONY: boot |