debian/patches: Add 0062-tools-and-libs-updated.patch, 0063-Check-for-existence-of-home-directory-extended.patch, 0064-tools-updated.patch. Check existence of home directory + release notes updates.
Mike Gabriel
7 years ago
| 0 | From d0ab2477cd39b5abb32e48d6b4cb63ad9840b25c Mon Sep 17 00:00:00 2001 | |
| 1 | From: Michael Hanus <mh@informatik.uni-kiel.de> | |
| 2 | Date: Tue, 31 Jan 2017 17:13:10 +0100 | |
| 3 | Subject: [PATCH 62/64] tools and libs updated | |
| 4 | ||
| 5 | --- | |
| 6 | curry2prolog/basics.pl | 2 +- | |
| 7 | currytools | 2 +- | |
| 8 | lib-trunk | 2 +- | |
| 9 | 3 files changed, 3 insertions(+), 3 deletions(-) | |
| 10 | ||
| 11 | diff --git a/curry2prolog/basics.pl b/curry2prolog/basics.pl | |
| 12 | index e4a635d..e3a3c10 100644 | |
| 13 | --- a/curry2prolog/basics.pl | |
| 14 | +++ b/curry2prolog/basics.pl | |
| 15 | @@ -489,7 +489,7 @@ constructorOrFunctionType(QName,Name,Arity,Type) :- | |
| 16 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% | |
| 17 | % Further auxiliaries: | |
| 18 | ||
| 19 | -% get home directory (fail if it does no exist): | |
| 20 | +% get home directory (fail if it does not exist): | |
| 21 | getHomeDirectory(Home) :- | |
| 22 | getEnv('HOME',Home), atom_codes(Home,[_|_]). | |
| 23 | ||
| 24 | -- | |
| 25 | 2.1.4 | |
| 26 |
| 0 | From c10896fd18a13156a0186d3233d56286ae73ebea Mon Sep 17 00:00:00 2001 | |
| 1 | From: Michael Hanus <mh@informatik.uni-kiel.de> | |
| 2 | Date: Tue, 31 Jan 2017 17:22:41 +0100 | |
| 3 | Subject: [PATCH 63/64] Check for existence of home directory extended | |
| 4 | ||
| 5 | --- | |
| 6 | curry2prolog/basics.pl | 6 ++++-- | |
| 7 | 1 file changed, 4 insertions(+), 2 deletions(-) | |
| 8 | ||
| 9 | diff --git a/curry2prolog/basics.pl b/curry2prolog/basics.pl | |
| 10 | index e3a3c10..0bfe161 100644 | |
| 11 | --- a/curry2prolog/basics.pl | |
| 12 | +++ b/curry2prolog/basics.pl | |
| 13 | @@ -448,7 +448,7 @@ toAbsPath(Path,AbsPath) :- | |
| 14 | appendAtoms([HomeDir,'/',RPath],AbsPath). | |
| 15 | toAbsPath('~',HomeDir) :- !, | |
| 16 | (getHomeDirectory(HomeDir) -> true ; HomeDir='~'). | |
| 17 | -toAbsPath('.',CurDir) :- !,workingDirectory(CurDir). | |
| 18 | +toAbsPath('.',CurDir) :- !, workingDirectory(CurDir). | |
| 19 | toAbsPath(Path,AbsPath) :- | |
| 20 | workingDirectory(CurDir), | |
| 21 | appendAtoms([CurDir,'/',Path],AbsPath). | |
| 22 | @@ -491,7 +491,9 @@ constructorOrFunctionType(QName,Name,Arity,Type) :- | |
| 23 | ||
| 24 | % get home directory (fail if it does not exist): | |
| 25 | getHomeDirectory(Home) :- | |
| 26 | - getEnv('HOME',Home), atom_codes(Home,[_|_]). | |
| 27 | + getEnv('HOME',Home), | |
| 28 | + atom_codes(Home,[_|_]), | |
| 29 | + existsDirectory(Home). | |
| 30 | ||
| 31 | % linear reverse: | |
| 32 | rev(Xs,Ys) :- rev_acc(Xs,Ys,[]). | |
| 33 | -- | |
| 34 | 2.1.4 | |
| 35 |
| 0 | From b9b3ea774e0064e579b794edd90bb4a1b06b477f Mon Sep 17 00:00:00 2001 | |
| 1 | From: Michael Hanus <mh@informatik.uni-kiel.de> | |
| 2 | Date: Tue, 31 Jan 2017 17:40:29 +0100 | |
| 3 | Subject: [PATCH 64/64] tools updated | |
| 4 | ||
| 5 | --- | |
| 6 | Makefile | 2 +- | |
| 7 | currytools | 2 +- | |
| 8 | 2 files changed, 2 insertions(+), 2 deletions(-) | |
| 9 | ||
| 10 | diff --git a/Makefile b/Makefile | |
| 11 | index 2bf978f..038ed7d 100644 | |
| 12 | --- a/Makefile | |
| 13 | +++ b/Makefile | |
| 14 | @@ -41,7 +41,7 @@ MINORVERSION=14 | |
| 15 | # The revision version number: | |
| 16 | REVISIONVERSION=1 | |
| 17 | # The build version number: | |
| 18 | -BUILDVERSION=5 | |
| 19 | +BUILDVERSION=6 | |
| 20 | # Complete version: | |
| 21 | VERSION=$(MAJORVERSION).$(MINORVERSION).$(REVISIONVERSION) | |
| 22 | # The version date: | |
| 23 | -- | |
| 24 | 2.1.4 | |
| 25 |