From 08e5ef20d806c9da8a2471c6417619fd34177399 Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Mon, 22 Oct 2018 08:43:07 +0000
Subject: 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.
---
 pkgs/applications/science/logic/cedille/default.nix | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'pkgs/applications/science/logic')

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 = {
-- 
cgit 1.4.1