pkgs/applications/science/logic/hol_light/ocaml-with-sources.nix

   1 {stdenv, fetchurl}:
   2
   3 stdenv.mkDerivation {
   4   name = "ocaml-with-sources-3.09.3";
   5   src = fetchurl {
   6     url = http://caml.inria.fr/pub/distrib/ocaml-3.09/ocaml-3.09.3.tar.bz2;
   7     sha256 = "607842b4f4917a759f19541a421370a834f5b948855ca54cef40d22b19a0934f";
   8   };
   9
  10   configureScript = ./configure-3.09.3;
  11
  12   builder = builtins.toFile "builder.sh" ''
  13     source $stdenv/setup
  14     ensureDir $out/src; cd $out/src
  15     tar -xjf $src
  16     mv ocaml-* ocaml
  17     cd ocaml
  18     CAT=$(type -tp cat)
  19     sed -e "s@/bin/cat@$CAT@" -i config/auto-aux/sharpbang
  20     $configureScript -no-tk -no-curses -prefix $out
  21     make opt.opt
  22     make install
  23   '';
  24
  25   meta = {
  26     description = "ocaml compiler with compiled sources retained.";
  27     longDescription = ''
  28       TODO
  29     '';
  30     homepage = http://caml.inria.fr/;
  31     license = "LGP with linking exceptions";
  32   };
  33 }