diff options
Diffstat (limited to 'devel/hs-drift/files/patch-src__Makefile.in')
| -rw-r--r-- | devel/hs-drift/files/patch-src__Makefile.in | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/hs-drift/files/patch-src__Makefile.in b/devel/hs-drift/files/patch-src__Makefile.in deleted file mode 100644 index 2dd1390e47a4..000000000000 --- a/devel/hs-drift/files/patch-src__Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- ./src/Makefile.in.orig 2008-02-10 15:41:19.000000000 +0100 -+++ ./src/Makefile.in 2012-05-13 11:54:07.000000000 +0200 -@@ -364,7 +364,7 @@ - - # all: DrIFT - DrIFT: $(DrIFT_SOURCES) $(nodist_DrIFT_SOURCES) -- $(HC) $(HCFLAGS) -i. -i@srcdir@ -hidir . -odir . -o $@ --make @srcdir@/DrIFT.hs -+ $(HC) $(HCFLAGS) -i. -i@srcdir@ -hidir . -odir . -o $@ --make @srcdir@/DrIFT.hs -package random - - #.hs.o: - # $(HC) -O -i. -i@srcdir@ $(HCFLAGS) -hidir . -o $@ -c $< |