www

commit 02fc8c8cea26d15bb4f4accdefc6550185cec98a
parent a57fd490d9abfab55dd6ed40831ac0d9f1279174
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Sun,  3 Jun 2018 01:37:58 +0200

Made generate-dispatch script more generic

Diffstat:
M
generate-dispatch-6-11--6-12.sh
 | 
30
++++++++++++++++++++++++------
A
parse/experimental/private/substitute.rkt-6-12.deleted
 | 
0

A
parse/private/parse-aux.rkt-6-12.deleted
 | 
0

3 files changed, 24 insertions(+), 6 deletions(-)
diff --git a/generate-dispatch-6-11--6-12.sh b/generate-dispatch-6-11--6-12.sh
@@ -1,14 +1,33 @@
 #!/bin/bash
-for i in `find -name '*-6-11'`; do echo "$i"; j="$i"; i="$(basename "$i")"; cat > "${j%-6-11}" <<EOF
-$(head -n 1 "$j")
+for i in `find -name '*-6-11' -or -name '*-6-12' -or -name '*-6-90.0.29'`; do
+  echo "${i%-6-*}"
+done | sort -u | while read pathmain; do
+  echo "$pathmain"
+  main="$(basename "$pathmain")"
+
+  if   test -e "${pathmain}-6-11"; then              eleven="(my-include \"${main}-6-11\")";
+  else                                               eleven="(begin)"; fi
+
+  if   test -e "${pathmain}-6-12"; then              twelve="(my-include \"${main}-6-12\")";
+  elif test -e "${pathmain}-6-12.deleted"; then      twelve="(begin)";
+  else                                               twelve="$eleven"; fi
+
+  if   test -e "${pathmain}-6-90-0-29"; then         twentynine="(my-include \"${main}-6-90-0-29\")";
+  elif test -e "${pathmain}-6-90-0-29.deleted"; then twelve="(begin)";
+  else                                               twentynine="$twelve"; fi
+
+  cat > "$pathmain" <<EOF
+#lang racket/base
 (#%require version-case
            (for-syntax (only racket/base version)
                        (only racket/base #%app #%datum))
            stxparse-info/my-include)
 (version-case
   [(version< (version) "6.11.0.900")
-    (my-include "$i")]
+    $eleven]
+  [(version< (version) "6.90.0.29")
+    $twelve]
   [else
-    $(if test -e "${j%-6-11}-6-12"; then echo "(my-include \"${i%-6-11}-6-12\")"; else echo "(begin)"; fi)])
+    $twentynine])
 EOF
-done
-\ No newline at end of file
+done
diff --git a/parse/experimental/private/substitute.rkt-6-12.deleted b/parse/experimental/private/substitute.rkt-6-12.deleted
diff --git a/parse/private/parse-aux.rkt-6-12.deleted b/parse/private/parse-aux.rkt-6-12.deleted