summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-06-29 07:34:04 +0200
committerAkim Demaille <akim.demaille@gmail.com>2020-06-29 19:08:15 +0200
commit2b518d621f515faca9b76c37720c4d82de142795 (patch)
treecd9b60e7726effd12621d38c292022db34ed5195 /etc
parent1ae4f1d3291b22466a20d1a2cce88b750ffbfb31 (diff)
downloadbison-2b518d621f515faca9b76c37720c4d82de142795.tar.gz
bench: make it easy to edit the generated files
* etc/bench.pl.in (&compile): Generate rules that compile the generated files independently of the source files.
Diffstat (limited to 'etc')
-rwxr-xr-xetc/bench.pl.in8
1 files changed, 6 insertions, 2 deletions
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index 036bf52e..2f669091 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -842,16 +842,20 @@ sub compile ($$)
if ($gbench)
{
print $makefile <<EOF;
-$base.o: $base.y
+$base.$ext: $base.y
\t@{[length $my_bison ? $my_bison : $bison]} $base.y -o $base.$ext
+
+$base.o: $base.$ext
\t$compiler -c -o $base.o $cflags $base.$ext
EOF
}
else
{
print $makefile <<EOF;
-$base: $base.y
+$base.$ext: $base.y
\t@{[length $my_bison ? $my_bison : $bison]} $base.y -o $base.$ext
+
+$base: $base.$ext
\t$compiler -o $base $cflags $base.$ext
EOF
}