diff options
| -rw-r--r-- | libraries/integer-gmp/.gitignore | 2 | ||||
| -rw-r--r-- | libraries/integer-gmp/ghc.mk | 5 |
2 files changed, 2 insertions, 5 deletions
diff --git a/libraries/integer-gmp/.gitignore b/libraries/integer-gmp/.gitignore new file mode 100644 index 0000000000..983b91d9c9 --- /dev/null +++ b/libraries/integer-gmp/.gitignore @@ -0,0 +1,2 @@ +/ghc.mk +/GNUmakefile diff --git a/libraries/integer-gmp/ghc.mk b/libraries/integer-gmp/ghc.mk deleted file mode 100644 index cd8a1d89e8..0000000000 --- a/libraries/integer-gmp/ghc.mk +++ /dev/null @@ -1,5 +0,0 @@ -libraries/integer-gmp_PACKAGE = integer-gmp -libraries/integer-gmp_dist-install_GROUP = libraries -$(if $(filter integer-gmp,$(PACKAGES_STAGE0)),$(eval $(call build-package,libraries/integer-gmp,dist-boot,0))) -$(if $(filter integer-gmp,$(PACKAGES_STAGE1)),$(eval $(call build-package,libraries/integer-gmp,dist-install,1))) -$(if $(filter integer-gmp,$(PACKAGES_STAGE2)),$(eval $(call build-package,libraries/integer-gmp,dist-install,2))) |