diff options
| author | Alex Ivanov <gnidorah@users.noreply.github.com> | 2016-10-10 21:50:05 +0300 |
|---|---|---|
| committer | Alex Ivanov <gnidorah@users.noreply.github.com> | 2016-10-13 09:37:02 +0300 |
| commit | 1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189 (patch) | |
| tree | 770c6b1887aba87614e729dee6cf00356f8ca24d /pkgs/development/compilers/pakcs | |
| parent | e9e69993b209e6a93a5605378c403c09b9264279 (diff) | |
| download | nixlib-1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189.tar nixlib-1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189.tar.gz nixlib-1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189.tar.bz2 nixlib-1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189.tar.lz nixlib-1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189.tar.xz nixlib-1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189.tar.zst nixlib-1fa5aceda8f5ffa4b9cb6217ded9f40dbe876189.zip | |
pakcs: fixed for darwin
Diffstat (limited to 'pkgs/development/compilers/pakcs')
| -rw-r--r-- | pkgs/development/compilers/pakcs/case-insensitive.patch | 19 | ||||
| -rw-r--r-- | pkgs/development/compilers/pakcs/default.nix | 7 |
2 files changed, 24 insertions, 2 deletions
diff --git a/pkgs/development/compilers/pakcs/case-insensitive.patch b/pkgs/development/compilers/pakcs/case-insensitive.patch new file mode 100644 index 000000000000..e46558c25208 --- /dev/null +++ b/pkgs/development/compilers/pakcs/case-insensitive.patch @@ -0,0 +1,19 @@ +--- www/Makefile.orig 2016-10-10 21:04:36.000000000 +0300 ++++ pakcs-1.14.0/www/Makefile 2016-10-10 21:07:56.000000000 +0300 +@@ -6,7 +6,7 @@ all: submitform Registry + submitform: SubmitForm.curry $(LIBDIR)/HtmlCgi.curry \ + $(LIBDIR)/NamedSocket.curry $(LIBDIR)/CPNS.curry + $(REPL) $(REPL_OPTS) :load SubmitForm :save :q +- mv SubmitForm submitform ++ mv SubmitForm submitform.orig && mv submitform.orig submitform + + Registry: Registry.curry $(LIBDIR)/HtmlCgi.curry + $(REPL) $(REPL_OPTS) :load Registry :save :q +--- currytools/erd2curry/Makefile.orig 2016-10-10 21:13:49.000000000 +0300 ++++ pakcs-1.14.0/currytools/erd2curry/Makefile 2016-10-10 21:21:14.000000000 +0300 +@@ -32,4 +32,4 @@ uninstall: clean + erd2curry: $(DEPS) + # create saved state for top-level function "main": + $(REPL) $(REPL_OPTS) :load ERD2Curry :save "main \"$(CURDIR)\"" :q +- mv ERD2Curry $@ ++ mv ERD2Curry $@.orig && mv $@.orig $@ diff --git a/pkgs/development/compilers/pakcs/default.nix b/pkgs/development/compilers/pakcs/default.nix index 92b916ccb8e1..ca790d027e03 100644 --- a/pkgs/development/compilers/pakcs/default.nix +++ b/pkgs/development/compilers/pakcs/default.nix @@ -82,7 +82,10 @@ stdenv.mkDerivation rec { buildInputs = [ swiPrologLocked makeWrapper glibcLocales rlwrap tk which ]; - patches = [ ./adjust-buildsystem.patch ]; + patches = [ + ./adjust-buildsystem.patch + ./case-insensitive.patch + ]; configurePhase = '' # Phony HOME. @@ -151,6 +154,6 @@ stdenv.mkDerivation rec { ''; maintainers = [ stdenv.lib.maintainers.gnidorah ]; - platforms = stdenv.lib.platforms.linux; + platforms = stdenv.lib.platforms.unix; }; } |