From 056977e86670c0d001015237e09d1181bb18627d Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 25 Jun 2020 12:51:15 -0400 Subject: Add integer-gmp's ghc.mk and GNUmakefile to .gitignore --- libraries/integer-gmp/.gitignore | 2 ++ libraries/integer-gmp/ghc.mk | 5 ----- 2 files changed, 2 insertions(+), 5 deletions(-) create mode 100644 libraries/integer-gmp/.gitignore delete mode 100644 libraries/integer-gmp/ghc.mk 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))) -- cgit v1.2.1