diff options
author | Christophe Raffalli <raffalli@univ-savoie.fr> | 2013-06-07 21:48:37 +0200 |
---|---|---|
committer | Christophe Raffalli <raffalli@univ-savoie.fr> | 2013-06-07 21:48:37 +0200 |
commit | ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7 (patch) | |
tree | 0bb6d591a68a2551f8a3f4b7740ba500f93634df /pkgs | |
parent | 270d929089d1299d4022f12f05f2710fcb69d10d (diff) | |
download | nixlib-ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7.tar nixlib-ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7.tar.gz nixlib-ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7.tar.bz2 nixlib-ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7.tar.lz nixlib-ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7.tar.xz nixlib-ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7.tar.zst nixlib-ac347e5cdeb234f4a70b2652cfbf01ea0bc9e7e7.zip |
Add the possibility to build a patoline environment with
nix-env -i env-patoline. This is the only reasonnable way to install patoline which require ocaml compiler with a large set of libraries installed.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a066fc19ffb8..067f074bdc0e 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2786,6 +2786,22 @@ let ocamlnat = let callPackage = newScope pkgs.ocamlPackages_3_12_1; in callPackage ../development/ocaml-modules/ocamlnat { }; + # patoline requires a rather large ocaml compilation environment. + # this is why it is build as an environment and not just a normal package. + # remark : the emacs mode is also installed, but you have to adjust your load-path. + mkPatolineEnv = pack: pkgs.myEnvFun { + name = "patoline"; + buildInputs = [ stdenv ncurses mesa freeglut libzip + pack.ocaml pack.findlib pack.camomile + pack.dypgen pack.ocaml_sqlite3 pack.camlzip + pack.lablgtk pack.camlimages pack.ocaml_cairo + pack.lablgl pack.ocamlnet pack.cryptokit + pack.ocaml_pcre pack.patoline + ]; + }; + + patoline = mkPatolineEnv ocamlPackages_4_00_1; + opencxx = callPackage ../development/compilers/opencxx { gcc = gcc33; }; |