diff options
author | Shea Levy <shea@shealevy.com> | 2013-10-16 10:58:32 -0400 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2013-10-16 11:02:05 -0400 |
commit | a5a13c4e437a1c4415741b0c8fb71b85952b33f1 (patch) | |
tree | 7b0d7c55e9d680671f9079b4d83092e489aab72b /nixos | |
parent | a9c65b31b9cdc20ad65c52ee357dbe7125a6ca56 (diff) | |
download | nixlib-a5a13c4e437a1c4415741b0c8fb71b85952b33f1.tar nixlib-a5a13c4e437a1c4415741b0c8fb71b85952b33f1.tar.gz nixlib-a5a13c4e437a1c4415741b0c8fb71b85952b33f1.tar.bz2 nixlib-a5a13c4e437a1c4415741b0c8fb71b85952b33f1.tar.lz nixlib-a5a13c4e437a1c4415741b0c8fb71b85952b33f1.tar.xz nixlib-a5a13c4e437a1c4415741b0c8fb71b85952b33f1.tar.zst nixlib-a5a13c4e437a1c4415741b0c8fb71b85952b33f1.zip |
Add gurobi token server service
Not yet tested, I don't have a license yet Signed-off-by: Shea Levy <shea@shealevy.com>
Diffstat (limited to 'nixos')
-rw-r--r-- | nixos/modules/module-list.nix | 1 | ||||
-rw-r--r-- | nixos/modules/services/misc/gurobi.nix | 41 |
2 files changed, 42 insertions, 0 deletions
diff --git a/nixos/modules/module-list.nix b/nixos/modules/module-list.nix index b835907c82f6..21596ce22697 100644 --- a/nixos/modules/module-list.nix +++ b/nixos/modules/module-list.nix @@ -35,6 +35,7 @@ ./misc/assertions.nix ./misc/check-config.nix ./misc/crashdump.nix + ./misc/gurobi.nix ./misc/ids.nix ./misc/lib.nix ./misc/locate.nix diff --git a/nixos/modules/services/misc/gurobi.nix b/nixos/modules/services/misc/gurobi.nix new file mode 100644 index 000000000000..9cd76a1e78f7 --- /dev/null +++ b/nixos/modules/services/misc/gurobi.nix @@ -0,0 +1,41 @@ +{ config, pkgs, ... }: + +with pkgs.lib; + +let + cfg = config.services.gurobi.tokenServer; +in { + options = { + services.gurobi.tokenServer = { + enable = mkOption { + default = false; + + description = "Whether to enable the Gurobi token server"; + + type = types.bool; + }; + + license = mkOption { + description = "Path to the Gurobi license file"; + + type = types.path; + }; + }; + }; + + config = mkIf cfg.enable { + systemd.services.gurobi-token-server = { + description = "Gurobi token server"; + + wantedBy = [ "multi-user.target" ]; + + environment.GRB_LICENSE_FILE = cfg.license; + + serviceConfig = { + ExecStart = "${pkgs.gurobi}/bin/grb_ts"; + + Type = "forking"; + }; + }; + }; +} |