192e124d27
since lang/ghc may use it too. PR: ports/39540 Submitted by: Oliver Braun <obraun@informatik.unibw-muenchen.de> (maintainer) Repocopied by: joe
20 lines
658 B
Text
20 lines
658 B
Text
--- configure.orig Tue Jun 18 20:12:04 2002
|
|
+++ configure Tue Jun 18 20:12:36 2002
|
|
@@ -385,8 +385,6 @@
|
|
then mkdir -p $DESTDIR$BINDIR; echo ' (created)'
|
|
else echo ' (exists)'
|
|
fi
|
|
- echo " harch"
|
|
- cp script/harch $DESTDIR$BINDIR
|
|
echo " hat-graph"
|
|
cp script/hat-graph $DESTDIR$BINDIR
|
|
echo " hat-trans"
|
|
@@ -402,7 +400,7 @@
|
|
ln $DESTDIR$BINDIR/hat-template $DESTDIR$BINDIR/$hattool
|
|
done
|
|
echo
|
|
- chmod +x $DESTDIR$BINDIR/harch $DESTDIR$BINDIR/hat-trans
|
|
+ chmod +x $DESTDIR$BINDIR/hat-trans
|
|
chmod +x $DESTDIR$BINDIR/hat-template $DESTDIR$BINDIR/hat-graph
|
|
rm $DESTDIR$BINDIR/hat-template
|
|
else
|