Step 1, changing perl to python

Author: zayenz

gecode/third-party/boost/extract.py

@@ -0,0 +1,91 @@
+#!/usr/bin/env python3
+# /// script
+# requires-python = ">=3.9"
+# ///
+
+import re
+import sys
+
+
+def main() -> int:
+    library = sys.argv[1] if len(sys.argv) > 1 else ""
+    dst = sys.argv[2] if len(sys.argv) > 2 else ""
+
+    todo = [library]
+    done: dict[str, int] = {library: 1}
+    unresolved: dict[str, int] = {}
+    defs: dict[str, str] = {}
+    other: dict[str, int] = {}
+
+    while todo:
+        f = todo.pop()
+        try:
+            fh = open(f, "r", encoding="utf-8")
+        except OSError:
+            raise SystemExit(f"File missing: {f}")
+        with fh:
+            for line in fh:
+                m = re.match(r"^\#( )*include <(boost/.*)>", line)
+                if m:
+                    g = re.sub(r"^\./", "", m.group(2))
+                    if g not in done:
+                        todo.append(g)
+                        done[g] = 1
+                    continue
+                m = re.match(r'^\#( )*include "(boost/.*)"', line)
+                if m:
+                    g = re.sub(r"^\./", "", m.group(2))
+                    if g not in done:
+                        todo.append(g)
+                        done[g] = 1
+                    continue
+                m = re.match(r"^\#( )*include <(.*)>", line)
+                if m:
+                    other[m.group(2)] = 1
+                    continue
+                m = re.match(r"^\#( )*include (.*)", line)
+                if m:
+                    k = m.group(2).rstrip("\n")
+                    unresolved[k] = 1
+                    continue
+                m = re.match(r"^\#( )*define (GECODE_BOOST_[A-Z_]*) (.*)", line)
+                if m:
+                    k = m.group(2)
+                    v = m.group(3).rstrip("\n")
+                    qm = re.search(r'\"(.*)\"', v)
+                    if qm:
+                        v = qm.group(1)
+                    am = re.search(r"<(.*)>", v)
+                    if am:
+                        v = am.group(1)
+                    if k in defs:
+                        defs[k] = defs[k] + "," + v
+                    else:
+                        defs[k] = v
+
+        for u in list(unresolved.keys()):
+            if u in defs:
+                for d in defs[u].split(","):
+                    if d not in done:
+                        todo.append(d)
+                        done[d] = 1
+
+    dirs: dict[str, int] = {}
+    for g in sorted(done.keys()):
+        m = re.match(r"(.*)/.*", g)
+        if m:
+            dirs[m.group(1)] = 1
+
+    for d in sorted(dirs.keys()):
+        sys.stdout.write(f"mkdir -p \"{dst}{d}\"\n")
+    for g in sorted(done.keys()):
+        m = re.match(r"(.*)/.*", g)
+        if m:
+            d = m.group(1)
+            sys.stdout.write(f"cp \"{g}\" \"{dst}{d}\"\n")
+
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

misc/allexamples.perl

@@ -0,0 +1,68 @@
+#!/usr/bin/env python3
+# /// script
+# requires-python = ">=3.9"
+# ///
+
+import os
+import subprocess
+import sys
+
+
+def run_cmd_lines(cmd: str):
+    proc = subprocess.Popen(cmd, shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, text=True)
+    assert proc.stdout is not None
+    for line in proc.stdout:
+        yield line
+    proc.wait()
+
+
+def runexample(directory: str, filename: str) -> None:
+    sys.stdout.write("------------------------------------------------------------\n")
+    sys.stdout.write(f"Running {filename}\n")
+    cmd = f"{directory}/examples/{filename} -time 120000 2>&1"
+    for line in run_cmd_lines(cmd):
+        sys.stdout.write(line)
+    sys.stdout.write("------------------------------------------------------------\n")
+
+
+def main() -> int:
+    directory = sys.argv[1] if len(sys.argv) > 1 else ""
+    find_cmd = f"find {directory}/examples -maxdepth 1 -type f ! -name '*.*'"
+    for x in run_cmd_lines(find_cmd):
+        x = x.rstrip("\n")
+        filename = os.path.basename(x)
+
+        prop: list[str] = []
+        model: list[str] = []
+        for line in run_cmd_lines(f"{x} -help 2>&1"):
+            if "-propagation (" in line:
+                l1 = line
+                l1 = l1.split("-propagation (", 1)[1]
+                l1 = l1.split(")", 1)[0]
+                l1 = l1.replace(" ", "")
+                prop = l1.split(",") if l1 else []
+            elif "-model (" in line:
+                l1 = line
+                l1 = l1.split("-model (", 1)[1]
+                l1 = l1.split(")", 1)[0]
+                l1 = l1.replace(" ", "")
+                model = l1.split(",") if l1 else []
+
+        if len(prop) == 0:
+            if len(model) == 0:
+                runexample(directory, filename)
+            else:
+                for m in model:
+                    runexample(directory, f"{filename} -model {m}")
+        else:
+            for p in prop:
+                if len(model) == 0:
+                    runexample(directory, f"{filename} -propagation {p}")
+                else:
+                    for m in model:
+                        runexample(directory, f"{filename} -propagation {p} -model {m}")
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

misc/allexamples.py

@@ -1,9 +1,14 @@
-#!/usr/bin/perl -w
+#!/usr/bin/env python3
+# /// script
+# requires-python = ">=3.9"
+# ///
 
-print <<EOF
-/*
+import re
+import sys
+
+HEADER = """/*
  *  Main authors:
- *     Guido Tack <tack\@gecode.org>
+ *     Guido Tack <tack@gecode.org>
  *
  *  Copyright:
  *     Guido Tack, 2008
@@ -14,7 +19,7 @@
  *
  *  Permission is hereby granted, free of charge, to any person obtaining
  *  a copy of this software and associated documentation files (the
- *  "Software"), to deal in the Software without restriction, including
+ *  \"Software\"), to deal in the Software without restriction, including
  *  without limitation the rights to use, copy, modify, merge, publish,
  *  distribute, sublicense, and/or sell copies of the Software, and to
  *  permit persons to whom the Software is furnished to do so, subject to
@@ -23,7 +28,7 @@
  *  The above copyright notice and this permission notice shall be
  *  included in all copies or substantial portions of the Software.
  *
- *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  THE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND,
  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
@@ -33,19 +38,22 @@
  *
  */
 
-EOF
-;
+"""
+
 
-my $prev = "";
+def main() -> int:
+    sys.stdout.write(HEADER)
+    prev = ""
+    for line in sys.stdin:
+        if re.search(r"\#undef.*GECODE.*", line) or re.search(r".*forceinline*", line):
+            sys.stdout.write(prev)
+            sys.stdout.write(line)
+            sys.stdout.write("\n")
+        else:
+            prev = line
+    sys.stdout.write("// STATISTICS: support-any\n")
+    return 0
 
-while (my $l = <>) {
-  if ($l =~ /\#undef.*GECODE.*/ || $l =~/.*forceinline*/) {
-    print $prev;
-    print $l;
-    print "\n";
-  } else {
-    $prev = $l;
-  }
-}
 
-print "// STATISTICS: support-any\n";
+if __name__ == "__main__":
+    raise SystemExit(main())