From 52c98fdadd9cea4d387715fc2f714d7e8d3f6357 Mon Sep 17 00:00:00 2001 From: Giovanni Bussi <giovanni.bussi@gmail.com> Date: Sun, 25 Nov 2018 22:22:40 +0100 Subject: [PATCH] fixed mistake done in merge d59014bb3cf10a4d7fa5384411d084820c90f9c6 --- src/lib/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/Makefile b/src/lib/Makefile index 5303c426e..291942f18 100644 --- a/src/lib/Makefile +++ b/src/lib/Makefile @@ -318,6 +318,7 @@ ifdef python_bin plumed_include_dir=../../../wrapper \ plumed_default_kernel="$(libdir)/lib$(program_name)Kernel.$(SOEXT)" \ $(python_bin) setup.py build_ext -i + mkdir -p "$(DESTDIR)$(libdir)/$(program_name)/python" cp install/python/*.so "$(DESTDIR)$(libdir)/$(program_name)/python/" endif ifdef BASH_COMPLETION_DIR -- GitLab