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, 11 insertions, 0 deletions
diff --git a/devel/hs-drift/files/patch-src__Makefile.in b/devel/hs-drift/files/patch-src__Makefile.in new file mode 100644 index 000000000000..2dd1390e47a4 --- /dev/null +++ b/devel/hs-drift/files/patch-src__Makefile.in @@ -0,0 +1,11 @@ +--- ./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 $< |