diff options
| author | Zhu Qun-Ying <zhu.qunying@gmail.com> | 2012-12-15 15:16:12 +0100 |
|---|---|---|
| committer | Matteo Bernardini <ponce@slackbuilds.org> | 2012-12-15 15:16:27 +0100 |
| commit | 15882fc33da185dac87f8a00c09de43cde01aa84 (patch) | |
| tree | 825d3d6fa578d496718517d577e56fc57fb3f982 /development/ahven/path.patch | |
| parent | 14f0d0275fef0e42ae9dec117e60a6685696e7c8 (diff) | |
development/ahven: Added (unit test library).
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/ahven/path.patch')
| -rw-r--r-- | development/ahven/path.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/development/ahven/path.patch b/development/ahven/path.patch new file mode 100644 index 0000000000000..fd8403e65bfab --- /dev/null +++ b/development/ahven/path.patch @@ -0,0 +1,22 @@ +--- 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 |