JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Postiats version 0.3.0

Browse Source 
The attached patch updates the Postiats nixpkgs expression to the
latest released 0.3.0 version.

From c89bfabd847ebd62c8dd77cb7385ea4effa929be Mon Sep 17 00:00:00 2001
From: Karn Kallio <kkallio@skami.org>
Date: Sat, 21 Jan 2017 13:28:23 -0400
Subject: [PATCH] ats2 : update Postiats to the latest released 0.3.0 version.
This commit is contained in:
Karn Kallio 2017-01-21 13:31:44 -04:00 committed by Shea Levy
parent 4d337f1c86
commit 4b1da9ba67
2 changed files with 24 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/compilers/ats2/default.nix
View File

@ -3,11 +3,11 @@
, withContrib ? true }:
let
versionPkg = "0.2.13" ;
versionPkg = "0.3.0" ;
contrib = fetchurl {
url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz" ;
sha256 = "1hsqvdwiydks46sfjmm04rmjcx5v25xpjgnq0b96psrdbd0ky2kf" ;
sha256 = "1s4yscisn9gsr692jmh4y5mz03012pv84cm7l5n51v83wc08fks0" ;
};
postInstallContrib = stdenv.lib.optionalString withContrib
@ -31,9 +31,11 @@ stdenv.mkDerivation rec {
src = fetchurl {
url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz";
sha256 = "01rkybkwgbpx6blv72n46ml9ii3p6kpxbpczsrpbjkqmf22b4vii";
sha256 = "1knf03r8a5sis7n8rw54flf1lxfbr3prywxb1czcdp6hsbcd1v1d";
};
patches = [ ./install-postiats-contrib.patch ];
buildInputs = [ gmp ];
setupHook = with stdenv.lib;

19
pkgs/development/compilers/ats2/install-postiats-contrib.patch Normal file
View File

@ -0,0 +1,19 @@
Install the parts of the contrib that have been moved to Postiats.
diff -Naur ATS2-Postiats-0.3.0-upstream/Makefile_dist ATS2-Postiats-0.3.0/Makefile_dist
--- ATS2-Postiats-0.3.0-upstream/Makefile_dist 2017-01-20 10:23:54.000000000 -0400
+++ ATS2-Postiats-0.3.0/Makefile_dist 2017-01-21 13:14:27.614723335 -0400
@@ -124,12 +124,12 @@
cd "$(abs_top_srcdir)" && \
$(MKDIR_P) $(PATSLIBHOME2)/bin && \
if [ ! -d $(bindir2) ] ; then $(MKDIR_P) $(bindir2) ; fi && \
- for x in share ccomp prelude libc libats ; do \
+ for x in share ccomp prelude libc libats contrib atscntrb ; do \
find "$$x" -type d -exec $(MKDIR_P) $(PATSLIBHOME2)/\{} \; -print; \
done
install_files_0: install_dirs ; \
- for x in share ccomp/runtime prelude libc libats ; do \
+ for x in share ccomp/runtime prelude libc libats contrib atscntrb ; do \
cd "$(abs_top_srcdir)" && \
$(INSTALL) -d $(PATSLIBHOME2)/"$$x" && \
find "$$x" -type l -exec cp -d \{} $(PATSLIBHOME2)/\{} \; -print && \