From 3441ae2bc3b77a2f26acbfdfc8298f171a47166b Mon Sep 17 00:00:00 2001 From: Andrei Paskevich <andrei@tertium.org> Date: Fri, 1 Jul 2011 22:53:47 +0200 Subject: [PATCH] move headache.sh into Makefile --- Makefile.in | 15 ++++++++++++++- misc/fixnames.sed | 3 +++ misc/headache.sh | 22 ---------------------- 3 files changed, 17 insertions(+), 23 deletions(-) create mode 100644 misc/fixnames.sed delete mode 100755 misc/headache.sh diff --git a/Makefile.in b/Makefile.in index 75b9671e3a..0647ea809a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1153,7 +1153,20 @@ $(DISTRIB_TAR): doc/manual.pdf ############### headers: - misc/headache.sh \ + headache -c misc/headache_config.txt -h misc/header.txt \ + Makefile.in configure.in src/*.ml* src/*/*.ml* \ + src/tools/cpulimit.c + headache -c misc/headache_config.txt -h misc/header_gm.txt \ + src/transform/abstraction.ml* \ + src/transform/simplify_formula.ml* \ + src/printer/gappa.ml* + headache -c misc/headache_config.txt -h misc/header_jk.txt \ + src/transform/close_epsilon.ml* \ + src/transform/lift_epsilon.ml* + headache -c misc/headache_config.txt -h misc/header_sc.txt \ + src/transform/hypothesis_selection.ml* \ + src/tptp2why/*.ml* + sed -i -f misc/fixnames.sed -- \ Makefile.in configure.in src/*.ml* src/*/*.ml* \ src/tools/cpulimit.c diff --git a/misc/fixnames.sed b/misc/fixnames.sed new file mode 100644 index 0000000000..2b6bb84c3f --- /dev/null +++ b/misc/fixnames.sed @@ -0,0 +1,3 @@ +s/Francois Bobot/François Bobot/g; +s/Jean-Christophe Filliatre/Jean-Christophe Filliâtre/g; +s/Claude Marche/Claude Marché/g diff --git a/misc/headache.sh b/misc/headache.sh deleted file mode 100755 index c6780b4416..0000000000 --- a/misc/headache.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh - -headache -c misc/headache_config.txt -h misc/header.txt "$@" - -headache -c misc/headache_config.txt -h misc/header_gm.txt \ - src/transform/abstraction.ml* \ - src/transform/simplify_formula.ml* \ - src/printer/gappa.ml* - -headache -c misc/headache_config.txt -h misc/header_jk.txt \ - src/transform/close_epsilon.ml* \ - src/transform/lift_epsilon.ml* - -headache -c misc/headache_config.txt -h misc/header_sc.txt \ - src/transform/hypothesis_selection.ml* \ - src/tptp2why/*.ml* - -sed -i -e ' - s/Francois Bobot/François Bobot/g; - s/Jean-Christophe Filliatre/Jean-Christophe Filliâtre/g; - s/Claude Marche/Claude Marché/g' -- "$@" - -- GitLab