diff options
author | Russell O'Connor <roconnor@theorem.ca> | 2010-12-31 17:48:55 +0000 |
---|---|---|
committer | Russell O'Connor <roconnor@theorem.ca> | 2010-12-31 17:48:55 +0000 |
commit | 88ec92d14c400eee0164ace51e5b37e8bf035676 (patch) | |
tree | c7c5d538c20ed91252dbd1380da844b50d367697 /pkgs/development/ocaml-modules/ocamlnet | |
parent | d3bb1b263001b3035f779ffcdb4588b7a8284eae (diff) | |
download | nixpkgs-88ec92d14c400eee0164ace51e5b37e8bf035676.tar nixpkgs-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.gz nixpkgs-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.bz2 nixpkgs-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.lz nixpkgs-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.xz nixpkgs-88ec92d14c400eee0164ace51e5b37e8bf035676.tar.zst nixpkgs-88ec92d14c400eee0164ace51e5b37e8bf035676.zip |
Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
Diffstat (limited to 'pkgs/development/ocaml-modules/ocamlnet')
-rw-r--r-- | pkgs/development/ocaml-modules/ocamlnet/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/ocamlnet/default.nix b/pkgs/development/ocaml-modules/ocamlnet/default.nix index 07a781657b3..e4dc43743f3 100644 --- a/pkgs/development/ocaml-modules/ocamlnet/default.nix +++ b/pkgs/development/ocaml-modules/ocamlnet/default.nix @@ -15,6 +15,8 @@ stdenv.mkDerivation { buildInputs = [ncurses ocaml findlib ocaml_pcre camlzip openssl ocaml_ssl]; + createFindlibDestdir = true; + dontAddPrefix = true; preConfigure = '' |