From 6171f13ed573183516fa3a86ca44e0334501b037 Mon Sep 17 00:00:00 2001
From: Shea Levy <shea@shealevy.com>
Date: Wed, 16 Oct 2013 11:26:39 -0400
Subject: [PATCH] Add gurobi to the system packages if the configuration
 specifies a license

Signed-off-by: Shea Levy <shea@shealevy.com>
---
 nixos/modules/programs/gurobi.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/nixos/modules/programs/gurobi.nix b/nixos/modules/programs/gurobi.nix
index 038ead44b4c..4c673a96db0 100644
--- a/nixos/modules/programs/gurobi.nix
+++ b/nixos/modules/programs/gurobi.nix
@@ -36,6 +36,8 @@ in {
           name = "gurobi-generated-license";
           text = "TOKENSERVER=${cfg.tokenServerAddress}";
         };
+
+      environment.systemPackages = [ pkgs.gurobi ];
     };
   };
 }