pakcs: fixed for darwin
This commit is contained in:
parent
e9e69993b2
commit
1fa5aceda8
19
pkgs/development/compilers/pakcs/case-insensitive.patch
Normal file
19
pkgs/development/compilers/pakcs/case-insensitive.patch
Normal file
@ -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 $@
|
@ -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;
|
||||
};
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user