mirror of
https://git.freebsd.org/ports.git
synced 2025-06-07 13:50:38 -04:00
489628f65d
Reviewed by: feld, mat Approved by: feld, mat (mentors) Differential Revision: https://reviews.freebsd.org/D9790
30 lines
961 B
Text
30 lines
961 B
Text
--- src/plugins/wp/Makefile.in.orig 2017-03-03 17:46:27 UTC
|
|
+++ src/plugins/wp/Makefile.in
|
|
@@ -313,7 +313,7 @@ wp-coq-install:
|
|
$(PRINT_INSTALL) "Coq Libraries"
|
|
$(INSTALL_SHARE) -f -p -s \
|
|
-i $(Wp_DIR)/share \
|
|
- -d $(FRAMAC_DATADIR)/wp \
|
|
+ -d $(STAGEDIR)$(FRAMAC_DATADIR)/wp \
|
|
$(ALL_COQ_BINARIES)
|
|
|
|
wp-coq-uninstall:
|
|
@@ -351,14 +351,14 @@ $(Wp_DIR)/share/why3/why3.conf:
|
|
|
|
install:: clean-install
|
|
$(PRINT_INSTALL) WP shared files
|
|
- $(MKDIR) $(FRAMAC_DATADIR)/wp
|
|
+ $(MKDIR) $(STAGEDIR)$(FRAMAC_DATADIR)/wp
|
|
$(INSTALL_SHARE) -p \
|
|
-i $(Wp_DIR)/share \
|
|
- -d $(FRAMAC_DATADIR)/wp \
|
|
+ -d $(STAGEDIR)$(FRAMAC_DATADIR)/wp \
|
|
$(ALL_RESOURCES) -f -b $(ALL_COQ_BINARIES)
|
|
$(PRINT_INSTALL) "Qed Library"
|
|
- $(MKDIR) $(FRAMAC_LIBDIR)
|
|
- $(CP) $(wildcard $(Wp_DIR)/qed/bin/Qed.*) $(FRAMAC_LIBDIR)
|
|
+ $(MKDIR) $(STAGEDIR)$(FRAMAC_LIBDIR)
|
|
+ $(CP) $(wildcard $(Wp_DIR)/qed/bin/Qed.*) $(STAGEDIR)$(FRAMAC_LIBDIR)
|
|
|
|
uninstall::
|
|
$(PRINT_RM) WP shared files
|