diff options
author | Zhu Qun-Ying <zhu.qunying@gmail.com> | 2017-05-31 22:03:46 +0100 |
---|---|---|
committer | David Spencer <idlemoor@slackbuilds.org> | 2017-05-31 22:03:46 +0100 |
commit | 4249bdcc0b92320c00e0b195853864c9edb942ba (patch) | |
tree | 999a39ce0b5910e73faf506c3b8858ed3ab1f205 /development/ahven/path.patch | |
parent | 3e262e01ad84a5e85b409178a70a4b9645e557f6 (diff) |
development/ahven: Updated for version 2.6.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/ahven/path.patch')
-rw-r--r-- | development/ahven/path.patch | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/development/ahven/path.patch b/development/ahven/path.patch deleted file mode 100644 index fd8403e65bfab..0000000000000 --- a/development/ahven/path.patch +++ /dev/null @@ -1,22 +0,0 @@ ---- Makefile.org 2012-04-24 22:51:05.485128589 -0700 -+++ Makefile 2012-04-24 22:53:29.216123458 -0700 -@@ -91,15 +91,15 @@ - install_lib: - mkdir -p $(PREFIX)/include/ahven - mkdir -p $(LIBDIR)/ahven -- mkdir -p $(PREFIX)/lib/gnat -+ mkdir -p $(LIBDIR)/gnat - $(INSTALL) -m 644 $(SOURCES) $(PREFIX)/include/ahven - $(INSTALL) -m 444 $(ALI_FILES) $(LIBDIR)/ahven - $(INSTALL) -m 644 lib/$(STATIC_LIBRARY) $(LIBDIR)/ahven -- $(INSTALL) -m 644 $(GPR_FILE) $(PREFIX)/lib/gnat -+ $(INSTALL) -m 644 $(GPR_FILE) $(LIBDIR)/gnat - - install_docs: -- mkdir -p $(PREFIX)/share/doc/ahven -- cp -r doc/manual/en/build/html $(PREFIX)/share/doc/ahven -+ mkdir -p $(PREFIX)/doc/ahven -+ cp -r doc/manual/en/build/html $(PREFIX)/doc/ahven - - check: build_tests - ./tester -c |