diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2018-10-22 08:43:07 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2018-10-22 08:43:07 +0000 |
commit | 08e5ef20d806c9da8a2471c6417619fd34177399 (patch) | |
tree | 9b69bf6caa87d8bcd1d50ffce39ea287f56a3278 /pkgs/applications/science/logic | |
parent | f7d4bc2c7147755d764c792af6f51bc2ffdb71dc (diff) | |
download | nixlib-08e5ef20d806c9da8a2471c6417619fd34177399.tar nixlib-08e5ef20d806c9da8a2471c6417619fd34177399.tar.gz nixlib-08e5ef20d806c9da8a2471c6417619fd34177399.tar.bz2 nixlib-08e5ef20d806c9da8a2471c6417619fd34177399.tar.lz nixlib-08e5ef20d806c9da8a2471c6417619fd34177399.tar.xz nixlib-08e5ef20d806c9da8a2471c6417619fd34177399.tar.zst nixlib-08e5ef20d806c9da8a2471c6417619fd34177399.zip |
cedille: Make a seperate output for the base library
For now, for normal usage you need to add `${cedille.lib}` to the `~/.cedille/options` file so that cedille will find the base libraries. There is no option to pass options by the command line.
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/cedille/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cedille/default.nix b/pkgs/applications/science/logic/cedille/default.nix index b3055688d236..0817ebe0654b 100644 --- a/pkgs/applications/science/logic/cedille/default.nix +++ b/pkgs/applications/science/logic/cedille/default.nix @@ -32,9 +32,12 @@ stdenv.mkDerivation rec { chmod -R 755 ial ''; + outputs = ["out" "lib"]; + installPhase = '' mkdir -p $out/bin mv cedille $out/bin/cedille + mv lib $lib ''; meta = { |