From 818b2b5268842a5362ef12f5b250e92d340f8db8 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Fri, 23 Nov 2012 11:56:28 +0100
Subject: [PATCH] Added plumed-patch
Shell only version, useful for cross compiling
---
src/lib/.gitignore | 5 +----
src/lib/Makefile | 12 ++++++++++--
2 files changed, 11 insertions(+), 6 deletions(-)
diff --git a/src/lib/.gitignore b/src/lib/.gitignore
index 7256f01de..c00777816 100644
--- a/src/lib/.gitignore
+++ b/src/lib/.gitignore
@@ -1,6 +1,3 @@
/Plumed.inc*
/compile_options.sh
-/plumed-static
-/plumed-shared
-/plumed-runtime
-/plumed
+/plumed-*
diff --git a/src/lib/Makefile b/src/lib/Makefile
index 6314ff910..a2a60076d 100644
--- a/src/lib/Makefile
+++ b/src/lib/Makefile
@@ -60,7 +60,15 @@ $(DIRS):
.PHONY: lib
lib: $(PLUMED_KERNEL) $(PLUMED_SHARED_OBJ) $(OBJ_WRAPPER) \
$(PLUMED_MAIN_STATIC) $(PLUMED_MAIN_SHARED) $(PLUMED_MAIN_RUNTIME) \
- Plumed.inc Plumed.inc.runtime Plumed.inc.shared Plumed.inc.static
+ Plumed.inc Plumed.inc.runtime Plumed.inc.shared Plumed.inc.static \
+ plumed-patch
+
+plumed-patch:
+ @echo "#! /bin/bash" > plumed-patch
+ @echo "echo 'NOTE: shell only version of path, useful for cross compiling'" >> plumed-patch
+ @echo "export PLUMED_ROOT=\"$(realpath ../../)\"" >> plumed-patch
+ @echo "source \"$(realpath ../../scripts/patch.sh)\"" >> plumed-patch
+ chmod a+x plumed-patch
$(PLUMED_KERNEL):$(OBJ_KERNEL)
$(LDSO) -o $@ $^ $(DYNAMIC_LIBS)
@@ -127,7 +135,7 @@ endif
clean:
rm -f $(CLEANLIST)
rm -f $(PLUMED_MAIN_STATIC) $(PLUMED_MAIN_SHARED) $(PLUMED_MAIN_RUNTIME)
- rm -f Plumed.inc*
+ rm -f Plumed.inc* plumed-*
# generic makefile rules
include ../maketools/make.rules
--
GitLab