diff options
| author | Mart Kolthof <skolthof@cs.uu.nl> | 2006-08-23 16:10:27 +0000 |
|---|---|---|
| committer | Mart Kolthof <skolthof@cs.uu.nl> | 2006-08-23 16:10:27 +0000 |
| commit | a312ca7eddf408f7328d40735d9d668754381b6d (patch) | |
| tree | 24cffa073c226e369eb34c3651a4cdca61d925db /pkgs/development/libraries/cil-aterm | |
| parent | 3580697f2082649d4b1e21d5eecc7053796880e1 (diff) | |
| download | nixlib-a312ca7eddf408f7328d40735d9d668754381b6d.tar nixlib-a312ca7eddf408f7328d40735d9d668754381b6d.tar.gz nixlib-a312ca7eddf408f7328d40735d9d668754381b6d.tar.bz2 nixlib-a312ca7eddf408f7328d40735d9d668754381b6d.tar.lz nixlib-a312ca7eddf408f7328d40735d9d668754381b6d.tar.xz nixlib-a312ca7eddf408f7328d40735d9d668754381b6d.tar.zst nixlib-a312ca7eddf408f7328d40735d9d668754381b6d.zip | |
* Switching back to OCaml 3.08.0 to hopefully resolve compile errors
svn path=/nixpkgs/trunk/; revision=6215
Diffstat (limited to 'pkgs/development/libraries/cil-aterm')
| -rw-r--r-- | pkgs/development/libraries/cil-aterm/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/cil-aterm/default.nix b/pkgs/development/libraries/cil-aterm/default.nix index 53e007dc6ea8..1752ffd36c7a 100644 --- a/pkgs/development/libraries/cil-aterm/default.nix +++ b/pkgs/development/libraries/cil-aterm/default.nix @@ -7,6 +7,6 @@ stdenv.mkDerivation { md5 = "a7fa54f19844a20562efd37f67c391da"; }; patches = [./cil-aterm-1.3.4.patch]; - buildInputs = [ ocaml perl ]; + buildInputs = [ ocaml3080 perl ]; inherit ocaml perl; } |