diff options
Diffstat (limited to 'dev/make-sdk-win32.sh')
| -rwxr-xr-x | dev/make-sdk-win32.sh | 370 |
1 files changed, 370 insertions, 0 deletions
diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh new file mode 100755 index 00000000..0112324d --- /dev/null +++ b/dev/make-sdk-win32.sh @@ -0,0 +1,370 @@ +#!/bin/bash + +# To run this script install cygwin by running setup-x86.exe from cygwin.com +# Install the standard packages plus wget. Then run this script. + +# Sworn by Enrico Tassi <enrico.tassi@inra.fr> +# Modified to support other directories and almost support spaces in paths +# by Jason Gross <jgross@mit.edu> +# License: Expat/MIT http://opensource.org/licenses/MIT + +# This script reads the following environment variables: +# VERBOSE - set to non-empty to have wget/this script be more verbose, for debugging purposes +# BASE - set to non-empty to give a different location for the zip file, e.g., if /cygdrive/c is full or doesn't exist + +set -e +if [ ! -z "$VERBOSE" ] +then + set -x +fi + +# Resources +ocaml=ocaml-4.01.0-i686-mingw64-installer3.exe +glib=base-windows-0.18.1.1.13.356@BUILD_ec06e9.txz +gtk=base-gtk-2.24.18.1.58@BUILD_594ca8.txz +lablgtk=lablgtk-2.18.0.tar.gz +camlp5=camlp5-6.11.tgz +nsis=nsis-2.46-setup.exe + +ocaml_URL='http://yquem.inria.fr/~protzenk/caml-installer/'$ocaml +lablgtk_URL='https://forge.ocamlcore.org/frs/download.php/1261/'$lablgtk +glib_URL='http://dl.arirux.de/5/binaries32/'$glib +gtk_URL='http://dl.arirux.de/5/binaries32/'$gtk +camlp5_URL='http://pauillac.inria.fr/~ddr/camlp5/distrib/src/'$camlp5 +nsis_URL='http://netcologne.dl.sourceforge.net/project/nsis/NSIS%202/2.46/'$nsis + +cygwin=setup-${HOSTTYPE/i6/x}.exe +cygwin_URL='http://cygwin.com/'$cygwin +cygwin_PKGS=p7zip,zip,sed,make,mingw64-i686-gcc-g++,mingw64-i686-gcc-core,mingw64-i686-gcc,patch,rlwrap,libreadline6,diffutils + +has_spaces() { + test -z "$2" +} +# utilities +# http://www.dependencywalker.com/depends22_x86.zip + +# The SDK itself +REVISION=85-1 +# support for working on computers that don't have a C: drive +if [ -z "$BASE" ] +then + TRUE_BASE=/cygdrive/c +else + # get absolute path + TRUE_BASE="$(readlink -f "$BASE")" +fi +BASE="$TRUE_BASE/CoqSDK-$REVISION" + +if [ -z "$VERBOSE" ] +then + WGET_ARGS="-N -q" +else + WGET_ARGS="-N" +fi + +# Windows has a version of FIND in C:/Windows/system32/find, and we don't want to use that +if [ -x /usr/bin/find ] +then + FIND=/usr/bin/find +else + echo "WARNING: /usr/bin/find does not exist. Falling back on:" + which find + FIND=find +fi + +WGET_ARGS="-N -q" + +if [ "$(has_spaces $BASE; echo $?)" -ne 0 ]; then + echo "ERROR: The current base directory ($BASE) has spaces." + echo "ERROR: building lablgtk would fail." + exit 1 +fi + +cyg_install() { + if [ ! -e "$cygwin" ]; then wget $WGET_ARGS "$cygwin_URL"; fi + chmod a+x "$cygwin" + cygstart -w "$cygwin" -q -P $@ +} + +sanity_check() { + echo "Check: wget." + (which wget) || \ + (echo "Please install wget using the cygwin installer and retry.";\ + exit 1) + echo "Check: 7z, gcc. If it fails wait for cygwin to complete and retry" + (which 7z && which i686-w64-mingw32-gcc) || \ + (echo "Some cygwin package is not installed.";\ + echo "Please wait for cygwin to finish and retry.";\ + cyg_install $cygwin_PKGS;\ + exit 1) +} + +install_base() { + echo "Setting up $BASE" + rm -rf "$BASE" + mkdir -p "$BASE" +} + +make_environ() { + echo "Setting up $BASE/environ" + pushd "$BASE" >/dev/null + cat > environ <<- EOF + cyg_install() { + if [ ! -e "$cygwin" ]; then wget $WGET_ARGS "$cygwin_URL"; fi + chmod a+x "$cygwin" + cygstart -w "$cygwin" -q -P \$@ + } + # Sanity checks: is the mingw64-i686-gcc package installed? + (which i686-w64-mingw32-gcc && which make && which sed) || \\ + (echo "Some cygwin package is not installed.";\\ + echo "Please wait for cygwin to finish and retry.";\\ + cyg_install $cygwin_PKGS;\\ + exit 1) || exit 1 + + export BASE="\$( cd "\$( dirname "\${BASH_SOURCE[0]}" )" && pwd )" + export PATH="\$BASE/bin:\$PATH" + export OCAMLLIB="\$(cygpath -m "\$BASE")/lib" + export OCAMLFIND_CONF="\$(cygpath -m "\$BASE")/etc/findlib.conf" + sed s"|@BASE@|\$(cygpath -m "\$BASE")|g" "\$BASE/lib/ld.conf.in" \\ + > "\$BASE/lib/ld.conf" + sed s"|@BASE@|\$(cygpath -m "\$BASE")|g" "\$BASE/lib/topfind.in" \\ + > "\$BASE/lib/topfind" + sed s"|@BASE@|\$(cygpath -m "\$BASE")|g" "\$BASE/etc/findlib.conf.in" \\ + > "\$BASE/etc/findlib.conf" + echo "Good. You can now build Coq and Coqide from cygwin." + EOF + popd >/dev/null +} + +download() { + echo "Downloading some software:" + if [ ! -e "$ocaml" ]; then + echo "- downloading OCaml..." + wget $WGET_ARGS "$ocaml_URL" + fi + chmod a+x "$ocaml" + if [ ! -e "$lablgtk" ]; then + echo "- downloading lablgtk..." + wget $WGET_ARGS --no-check-certificate "$lablgtk_URL" + fi + if [ ! -e "$gtk" ]; then + echo "- downloading gtk..." + wget $WGET_ARGS "$gtk_URL" + fi + if [ ! -e "$glib" ]; then + echo "- downloading glib..." + wget $WGET_ARGS "$glib_URL" + fi + if [ ! -e "$camlp5" ]; then + echo "- downloading camlp5..." + wget $WGET_ARGS "$camlp5_URL" + fi + if [ ! -e "$nsis" ]; then + echo "- downloading nsis..." + wget $WGET_ARGS "$nsis_URL" + fi +} + +cleanup() { + rm -rf tmp build +} + +install_gtk() { + echo "Installing $glib" + tar -xJf "$glib" -C "$BASE" + echo "Installing $gtk" + tar -xJf "$gtk" -C "$BASE" +} + +install_ocaml() { + echo "Installing $ocaml" + mkdir -p tmp + 7z -otmp x "$ocaml" >/dev/null + cp -r tmp/\$_OUTDIR/bin "$BASE/" + cp -r tmp/bin "$BASE/" + cp -r tmp/\$_OUTDIR/lib "$BASE/" + cp -r tmp/lib "$BASE/" + cp -r tmp/\$_OUTDIR/etc "$BASE/" + "$FIND" "$BASE" -name '*.dll' -o -name '*.exe' | tr '\n' '\0' \ + | xargs -0 chmod a+x + mv "$BASE/lib/topfind" "$BASE/lib/topfind.in" + sed -i 's|@SITELIB@|@BASE@/lib/site-lib|g' "$BASE/lib/topfind.in" + cat > "$BASE/lib/ld.conf.in" <<- EOF + @BASE@/lib + @BASE@/lib/stublibs + EOF + cat > "$BASE/etc/findlib.conf.in" <<- EOF + destdir="@BASE@/lib/site-lib" + path="@BASE@/lib/site-lib" + stdlib="@BASE@/lib" + ldconf="@BASE@/lib/ld.conf" + ocamlc="ocamlc.opt" + ocamlopt="ocamlopt.opt" + ocamldep="ocamldep.opt" + ocamldoc="ocamldoc.opt" + EOF + cp "$BASE/lib/topdirs.cmi" "$BASE/lib/compiler-libs/" +} + +build_install_lablgtk() { + echo "Building $lablgtk" + mkdir -p build + tar -xzf "$lablgtk" -C build + cd build/lablgtk-* + patch -p1 <<EOT +--- lablgtk-2.18.0/src/glib.mli 2013-10-01 01:31:50.000000000 -0700 ++++ lablgtk-2.18.0.new/src/glib.mli 2013-12-06 11:57:34.203675200 -0800 +@@ -75,6 +75,7 @@ + type condition = [ \`ERR | \`HUP | \`IN | \`NVAL | \`OUT | \`PRI] + type id + val channel_of_descr : Unix.file_descr -> channel ++ val channel_of_descr_socket : Unix.file_descr -> channel + val add_watch : + cond:condition list -> callback:(condition list -> bool) -> ?prio:int -> channel -> id + val remove : id -> unit +--- lablgtk-2.18.0/src/glib.ml 2013-10-01 01:31:50.000000000 -0700 ++++ lablgtk-2.18.0.new/src/glib.ml 2013-12-06 11:57:53.070804800 -0800 +@@ -72,6 +72,8 @@ + type id + external channel_of_descr : Unix.file_descr -> channel + = "ml_g_io_channel_unix_new" ++ external channel_of_descr_socket : Unix.file_descr -> channel ++ = "ml_g_io_channel_unix_new_socket" + external remove : id -> unit = "ml_g_source_remove" + external add_watch : + cond:condition list -> callback:(condition list -> bool) -> ?prio:int -> channel -> id +--- lablgtk-2.18.0/src/ml_glib.c 2013-10-01 01:31:50.000000000 -0700 ++++ lablgtk-2.18.0.new/src/ml_glib.c 2013-12-10 02:03:33.940371800 -0800 +@@ -25,6 +25,8 @@ + #include <string.h> + #include <locale.h> + #ifdef _WIN32 ++/* to kill a #warning: include winsock2.h before windows.h */ ++#include <winsock2.h> + #include "win32.h" + #include <wtypes.h> + #include <io.h> +@@ -38,6 +40,11 @@ + #include <caml/callback.h> + #include <caml/threads.h> + ++#ifdef _WIN32 ++/* for Socket_val */ ++#include <caml/unixsupport.h> ++#endif ++ + #include "wrappers.h" + #include "ml_glib.h" + #include "glib_tags.h" +@@ -325,14 +332,23 @@ + + #ifndef _WIN32 + ML_1 (g_io_channel_unix_new, Int_val, Val_GIOChannel_noref) ++CAMLprim value ml_g_io_channel_unix_new_socket (value arg1) { ++ return Val_GIOChannel_noref (g_io_channel_unix_new (Int_val (arg1))); ++} + + #else + CAMLprim value ml_g_io_channel_unix_new(value wh) + { + return Val_GIOChannel_noref +- (g_io_channel_unix_new ++ (g_io_channel_win32_new_fd + (_open_osfhandle((long)*(HANDLE*)Data_custom_val(wh), O_BINARY))); + } ++ ++CAMLprim value ml_g_io_channel_unix_new_socket(value wh) ++{ ++ return Val_GIOChannel_noref ++ (g_io_channel_win32_new_socket(Socket_val(wh))); ++} + #endif + + static gboolean ml_g_io_channel_watch(GIOChannel *s, GIOCondition c, +EOT + #sed -i s'/$PKG_CONFIG/"$PKG_CONFIG"/g' configure + #sed -i s'/""$PKG_CONFIG""/"$PKG_CONFIG"/g' configure + ./configure --disable-gtktest --prefix="$(cygpath -m "$BASE")" \ + >log-configure 2>&1 + sed -i 's?\\?/?g' config.make + make >log-make 2>&1 + make opt >>log-make 2>&1 + #echo "Testing $lablgtk" + #cd src + #./lablgtk2 ../examples/calc.ml + #./lablgtk2 -all ../examples/calc.ml + #cd .. + echo "Installing $lablgtk" + make install >>log-make 2>&1 + cd ../.. +} + +build_install_camlp5() { + echo "Building $camlp5" + mkdir -p build + tar -xzf "$camlp5" -C build + cd build/camlp5-* + ./configure >log-configure 2>&1 + sed -i 's/EXT_OBJ=.obj/EXT_OBJ=.o/' config/Makefile + sed -i 's/EXT_LIB=.lib/EXT_LIB=.a/' config/Makefile + make world.opt >log-make 2>&1 + echo "Installing $camlp5" + make install >>log-make 2>&1 + cd ../.. +} + +install_nsis() { + echo "Installing $nsis" + rm -rf tmp + mkdir -p tmp + 7z -otmp x $nsis >/dev/null + mkdir "$BASE/NSIS" + cp -r tmp/\$_OUTDIR/* "$BASE/NSIS" + rm -rf tmp/\$_OUTDIR + rm -rf tmp/\$PLUGINSDIR + cp -r tmp/* "$BASE/NSIS" +} + +zip_sdk() { + echo "Generating CoqSDK-${REVISION}.zip" + here="`pwd`" + cd "$BASE/.." + rm -f "$here/CoqSDK-${REVISION}.zip" + zip -q -r "$here/CoqSDK-${REVISION}.zip" "$(basename "$BASE")" + cd "$here" +} + +diet_sdk() { + rm -rf "$BASE"/+* + rm -rf "$BASE"/bin/camlp4* + rm -rf "$BASE"/lib/camlp4/ + rm -rf "$BASE"/lib/site-lib/camlp4/ +} + +victory(){ + echo "Output file: CoqSDK-${REVISION}.zip "\ + "(`du -sh CoqSDK-${REVISION}.zip | cut -f 1`)" + echo "Usage: unpack and source the environ file at its root" +} + +if [ -z "$1" ]; then + sanity_check + download + cleanup + install_base + install_nsis + install_ocaml + install_gtk + make_environ + . "$BASE/environ" + build_install_lablgtk + build_install_camlp5 + diet_sdk + make_environ + zip_sdk + cleanup + victory +else + # just one step + $1 +fi |