[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 1/3] bench: make it easy to edit the generated files
From: |
Akim Demaille |
Subject: |
[PATCH 1/3] bench: make it easy to edit the generated files |
Date: |
Mon, 29 Jun 2020 19:10:34 +0200 |
* etc/bench.pl.in (&compile): Generate rules that compile the
generated files.
---
etc/bench.pl.in | 8 ++++++--
1 file 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
}
--
2.27.0