Store Makefile.conf in config.txt

scripts/config.sh

@@ -13,6 +13,8 @@ Options:
                     check if plumed has features words
   module [word1 [word2]..]
                     check if plumed has enables modules words
+  makefile_conf
+                    dumps the Makefile.conf file
 
 Examples:
 
@@ -48,6 +50,10 @@ do
     ;;
   (has) action=has ;;
   (module) action=module ;;
+  (makefile_conf)
+    echo "$configfile" | awk '{if($1=="makefile_conf") { gsub("^makefile_conf ",""); print} }'
+    exit 0
+    ;;
   (*)
     checklist="$checklist $opt"
   esac

src/config/Makefile

@@ -23,7 +23,7 @@ obj: all
 
 config.txt: ../../Makefile.conf
 	@echo "Updating config.txt file"
-	@ ../maketools/update-config-txt.sh config.txt $(CPPFLAGS)
+	@makefile_conf="$(realpath ../../Makefile.conf)" ../maketools/update-config-txt.sh config.txt $(CPPFLAGS)
 
 version.h:
 	@echo "Updating version.h"

src/maketools/update-config-txt.sh

@@ -131,6 +131,10 @@ echo
 echo "# list of modules"
 echo "# syntax: module name on/off (default-on/default-off/always)"
 echo "$modules" | sort
+echo
+echo "# Makefile.conf file"
+echo "# syntax: makefile_conf followed by a single space followed by a line from makefile_conf"
+cat "$makefile_conf" | awk '{printf("makefile_conf %s\n",$0)}'
 
 }> $file~