Hi list, I got my Raspberry Pi today (http://raspberrypi.org). Here is how to build GODI on it:
- Check the ARM ABI of the OS: dpkg-architecture -qDEB_BUILD_ARCH If it says "armhf" you have hardware floating point (e.g. for Raspbian), and the following is relevant. If it says "armel" GODI should work out of the box (but consider to switch to an armhf-based OS because it is faster) If you read this, and OCaml-4.01 is already out, you probably do not need to take care of the following, because the required patch is probably already in this release (http://caml.inria.fr/mantis/view.php?id=5798). - Get the latest Skylift bootstrap tarball from http://godi.camlcity.org/godi/get_godi.html - Unpack it, and bootstrap with -no-stage2, e.g. ./bootstrap -no-stage2 - After stage 1 is finished, edit <prefix>/etc/godi.conf, and add the line OCAML_SVN_CHECKOUT=yes Ocaml is then directly pulled from the Subversion repository. This is the latest trunk version, so depending on when you do it the version may or may not work. Today it worked. You can force the version of today, if necessary, by also setting OCAML_SVN_ARGS=--non-interactive -r 13099 - Then run stage 2: ./bootstrap_stage2 Be prepared that the build takes some time (three hours). Also, check first if you have enough space on the SD card (the downloadable OS images are for 2GB cards, and leave maybe 300MB for the user, which is not enough, so you need at least a 4GB card). I don't know how much RAM you really need - I got one of the new 512 MB devices, and have additional 100MB for swapping. Gerd -- ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. ------------------------------------------------------------ _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
