projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
75c431d
)
[project @ 2002-07-09 15:57:09 by sof]
author
sof
<unknown>
Tue, 9 Jul 2002 15:57:09 +0000
(15:57 +0000)
committer
sof
<unknown>
Tue, 9 Jul 2002 15:57:09 +0000
(15:57 +0000)
merge rev. 1.1.6.1
distrib/prep-bin-dist-mingw
patch
|
blob
|
history
diff --git
a/distrib/prep-bin-dist-mingw
b/distrib/prep-bin-dist-mingw
index
6f02f0b
..
924b1c4
100644
(file)
--- a/
distrib/prep-bin-dist-mingw
+++ b/
distrib/prep-bin-dist-mingw
@@
-16,13
+16,17
@@
export gcc_lib=c:/ghc/ghc-5.02.2/gcc-lib
export perl_dir=c:/ghc/ghc-5.02.2
export mingw_include=c:/ghc/ghc-5.02.2/include/mingw
export perl_dir=c:/ghc/ghc-5.02.2
export mingw_include=c:/ghc/ghc-5.02.2/include/mingw
+# Play safe
+if ! [ -d bin/i386-unknown-mingw32 ] ; then
+ echo "Doesn't look as if I'm in the toplevel directory of a mingw tree"
+ echo "Usage: cd ghc-<version> ; ../distrib/prep-bin-dist-mingw"
+ exit 1;
+fi;
+
echo "Removing configure script files...not needed"
rm -f config.guess config.sub configure configure.in mkdirhier
rm -f Makefile-bin.in Makefile.in aclocal.m4 install-sh
echo "Removing configure script files...not needed"
rm -f config.guess config.sub configure configure.in mkdirhier
rm -f Makefile-bin.in Makefile.in aclocal.m4 install-sh
-# For reasons unknown, duplicate copies of misc file in share/
-rm -rf share/
-
echo "rejig bin/"
mv bin/i386-unknown-mingw32/* bin/
rmdir bin/i386-unknown-mingw32
echo "rejig bin/"
mv bin/i386-unknown-mingw32/* bin/
rmdir bin/i386-unknown-mingw32
@@
-48,14
+52,18
@@
cp ${perl_dir}/perl.exe .
cp ${perl_dir}/perl56.dll .
cp ${perl_dir}/gcc.exe .
cp ${perl_dir}/perl56.dll .
cp ${perl_dir}/gcc.exe .
-echo "formatting documentation"
-mkdir doc
-mkdir doc/user-guide
-cp -Rf html/* doc/user-guide/
-cp pdf/set.pdf doc/
-rm -rf html/
-rm -rf pdf/
-
-
+# For reasons unknown, duplicate copies of misc package files in share/
+# (leave them be for now.)
+echo "formatting documentation"
+cp README README.txt
+mv share doc
+cp ../ghc/docs/users_guide/users_guide.pdf doc/
+cp ../hslibs/doc/hslibs.pdf doc/
+#mkdir doc
+#mkdir doc/user-guide
+#cp -Rf html/* doc/user-guide/
+#cp pdf/set.pdf doc/
+#rm -rf html/
+#rm -rf pdf/