diff options
author | Sheena Artrip <sheena.artrip@gmail.com> | 2016-09-06 00:16:42 -0400 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2016-09-06 06:16:42 +0200 |
commit | 47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f (patch) | |
tree | d4c5fc5a0ba4c596e7c84fe6ae66b35f4f4c571a /pkgs | |
parent | 0b469a6725a932456bea616a42bc8fdd313db80c (diff) | |
download | nixlib-47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f.tar nixlib-47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f.tar.gz nixlib-47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f.tar.bz2 nixlib-47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f.tar.lz nixlib-47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f.tar.xz nixlib-47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f.tar.zst nixlib-47e6d7d88cd1dba06ce0fe8fbf810c9439c1c13f.zip |
minizinc: init at 2.0.14 (#18308)
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/tools/minizinc/default.nix | 35 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 37 insertions, 0 deletions
diff --git a/pkgs/development/tools/minizinc/default.nix b/pkgs/development/tools/minizinc/default.nix new file mode 100644 index 000000000000..cd9bf94b904a --- /dev/null +++ b/pkgs/development/tools/minizinc/default.nix @@ -0,0 +1,35 @@ +{ stdenv, fetchFromGitHub, cmake, flex, bison }: +let + version = "2.0.14"; +in +stdenv.mkDerivation { + name = "minizinc-${version}"; + + buildInputs = [ cmake flex bison ]; + + src = fetchFromGitHub { + rev = "${version}"; + owner = "MiniZinc"; + repo = "libminizinc"; + sha256 = "02wy91nv79lrvvhhimcxp7sqz5wd457n1n68zl7qcsm5vfn1hm4q"; + }; + + # meta is all the information about the package.. + meta = with stdenv.lib; { + homepage = "http://www.minizinc.org/"; + description = "MiniZinc is a medium-level constraint modelling language."; + + longDescription = '' + MiniZinc is a medium-level constraint modelling + language. It is high-level enough to express most + constraint problems easily, but low-level enough + that it can be mapped onto existing solvers easily and consistently. + It is a subset of the higher-level language Zinc. + ''; + + license = licenses.mpl20; + platforms = platforms.linux; + maintainers = [ maintainers.sheenobu ]; + }; +} + diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index cbb2207e9292..bce6aaca50b8 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6567,6 +6567,8 @@ in minify = callPackage ../development/web/minify { }; + minizinc = callPackage ../development/tools/minizinc { }; + mk = callPackage ../development/tools/build-managers/mk { }; msitools = callPackage ../development/tools/misc/msitools { }; |