diff options
| -rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 12 | ||||
| -rw-r--r-- | pkgs/development/tools/postiats-utilities/default.nix | 37 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 45 insertions, 6 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index 280ed180344..8b4ea36330c 100644 --- a/pkgs/development/compilers/ats2/default.nix +++ b/pkgs/development/compilers/ats2/default.nix @@ -2,22 +2,22 @@ stdenv.mkDerivation rec { name = "ats2-${version}"; - version = "0.2.4"; + version = "0.2.6"; src = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz"; - sha256 = "0dx3r2vxmarj3aqm0xlcmls1h08pll9y9k4820df41awyrwmfvcy"; + sha256 = "0hfaw8mrxrmb9kdbz5sp4nfjsmncmq6zqwm1n2x2p6arn0za6y9i"; }; buildInputs = [ gmp ]; setupHook = ./setup-hook.sh; - meta = { + meta = with stdenv.lib; { description = "Functional programming language with dependent types"; homepage = "http://www.ats-lang.org"; - license = stdenv.lib.licenses.gpl3Plus; - platforms = stdenv.lib.platforms.linux; - maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + license = licenses.gpl3Plus; + platforms = platforms.linux; + maintainers = with maintainers; [ thoughtpolice ttuegel ]; }; } diff --git a/pkgs/development/tools/postiats-utilities/default.nix b/pkgs/development/tools/postiats-utilities/default.nix new file mode 100644 index 00000000000..4b6d230becd --- /dev/null +++ b/pkgs/development/tools/postiats-utilities/default.nix @@ -0,0 +1,37 @@ +{ stdenv, fetchurl, python3, python3Packages }: + +stdenv.mkDerivation { + name = "postiats-utilities-2.0.1"; + src = fetchurl { + url = "https://github.com/Hibou57/PostiATS-Utilities/archive/v2.0.1.tar.gz"; + sha256 = "12jlzqigmaa9m37x0nq5v3gq8v61m73i5kzdnsm06chf0przpaix"; + }; + + meta = with stdenv.lib; { + homepage = "https://github.com/Hibou57/PostiATS-Utilities"; + license = licenses.bsd2; + platforms = platforms.linux; + maintainers = [ maintainers.ttuegel ]; + }; + + buildInputs = [ python3 python3Packages.wrapPython ]; + + phases = "unpackPhase patchPhase installPhase"; + + postPatch = '' + for f in pats-* postiats/*.py; do + sed -i "$f" -e "1 s,python3,python," + done + ''; + + installPhase = '' + libdir="$out/lib/${python3.libPrefix}/site-packages" + mkdir -p "$libdir" + cp -r postiats "$libdir" + + mkdir -p "$out/bin" + install pats-* "$out/bin" + + wrapPythonPrograms + ''; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 8de856096bd..224ae4cfe3d 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6293,6 +6293,8 @@ in }); pkgconfigUpstream = lowPrio (pkgconfig.override { vanilla = true; }); + postiats-utilities = callPackage ../development/tools/postiats-utilities {}; + prelink = callPackage ../development/tools/misc/prelink { }; premake3 = callPackage ../development/tools/misc/premake/3.nix { }; |