Olaf Hering 2020-02-29 21:53:18 +00:00 committed by Git OBS Bridge
parent 2ee134faee
commit ae16d541ad

26
dune.patch Normal file
View File

@ -0,0 +1,26 @@
issue #2788
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,8 @@ PREFIX_ARG := $(if $(PREFIX),--prefix $(
LIBDIR_ARG := $(if $(LIBDIR),--libdir $(LIBDIR),)
DESTDIR_ARG := $(if $(DESTDIR),--destdir $(DESTDIR),)
INSTALL_ARGS := $(PREFIX_ARG) $(LIBDIR_ARG) $(DESTDIR_ARG)
+VERBOSE_ARG := $(if $(VERBOSE),--verbose,)
+INSTALL_ARGS := $(PREFIX_ARG) $(LIBDIR_ARG) $(DESTDIR_ARG) $(VERBOSE_ARG)
BIN := ./dune.exe
# Dependencies used for developing and testing dune
@@ -39,6 +41,12 @@ install:
uninstall:
$(BIN) uninstall $(INSTALL_ARGS) dune
+release-with-libraries: release
+ $(BIN) build @install $(INSTALL_ARGS) --for-release-of-packages='dune,dune-action-plugin,dune-build-info,dune-configurator,dune-glob,dune-private-libs' --build-dir _olh
+
+install-with-libraries:
+ $(BIN) install $(INSTALL_ARGS) dune dune-action-plugin dune-build-info dune-configurator dune-glob dune-private-libs --build-dir _olh
+
reinstall: uninstall install
dev-switch: