Talk:OCamlInstall

From Baka-Tsuki
Revision as of 20:35, 11 June 2008 by M (talk | contribs) (New page: I kinda feel like most of this can be made into a script, so I started designing a one press script installer, but working from a clean install doesn't seem to work (crashes with the Godi ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

I kinda feel like most of this can be made into a script, so I started designing a one press script installer, but working from a clean install doesn't seem to work (crashes with the Godi bootstrap part one; the ocaml bytecode runtime). I've tried using different section numbers (like the recent 3.10 and the mentioned 3.09), but to no avail. I've installed Cygwin as stated exactly from the article discussion --- that is, Devel button, bc, and ncurses.

#!/bin/bash


PROXY=""
GODIVERSION=20080120
OMAKEVERSION=0.9.8.5
OMAKESUBVER=3
RLDEVVERSION=1.40

export http_proxy="$PROXY"
export PATH="/opt/godi/bin:/opt/godi/sbin:/usr/bin:/bin:/usr/X11R6/bin:/cygdrive/c/WINDOWS/system32:/cygdrive/c/WINDOWS:/usr/local/bin"
export MANPATH="/opt/godi/man:$MANPATH"

[ ! -d "./RLinstall" ] && mkdir /RLinstall

cd /RLinstall

wget "http://download.camlcity.org/download/godi-bootstrap-$GODIVERSION.tar.gz"
wget "http://omake.metaprl.org/downloads/omake-$OMAKEVERSION-$OMAKESUBVER.tar.gz"
wget "http://dev.haeleth.net/rldev/rldev-$RLDEVVERSION.tar.bz2"

tar -zxvf godi-bootstrap-$GODIVERSION.tar.gz && rm godi-bootstrap-$GODIVERSION.tar.gz*
tar -zxvf omake-$OMAKEVERSION-$OMAKESUBVER.tar.gz && rm omake-$OMAKEVERSION-$OMAKESUBVER.tar.gz*
tar -jxvf rldev-$RLDEVVERSION.tar.bz2 && rm rldev-$RLDEVVERSION.tar.bz2*


cd ./godi-bootstrap-$GODIVERSION
./bootstrap  && export OCAMLLIB=/opt/godi/lib/ocaml/std-lib/
./bootstrap_stage2

godi_build godi-extlib
godi_build godi-ulex
godi_build godi-xml-light

cd ../omake-$OMAKEVERSION
make 
make install

cd ../rldev-$RLDEVVERSION
omake && omake install

cd ..

rm -R /RLinstall

That's what I have so far, it's a bit simplistic, but I can't really spice it up until I fix the problem with Godi's bootstrapping.

M 11:35, 11 June 2008 (PDT)