remove minimum size of 4096 bytes for parse tree (#23)

zauberzeug · Jan 16, 2024 · 0558375 · 0558375
1 parent ac9d6dd
commit 0558375
Show file tree

Hide file tree

Showing 3 changed files with 8,202 additions and 2 deletions.
diff --git a/configure.py b/configure.py
@@ -32,7 +32,7 @@ def send(line) -> None:
     send('!.')
     send('core.restart()')
 
-    time.sleep(1.0)
+    time.sleep(3.0)
     send('core.startup_checksum()')
     deadline = time.time() + 1.0
     while time.time() < deadline:

diff --git a/gen_parser.sh b/gen_parser.sh
@@ -11,9 +11,12 @@ then
     ./owl_executable -c language.owl -o main/parser.h
     if [[ $? -ne 0 ]]
     then
-        rm -f main/parser.h 
+        rm -f main/parser.h
         exit 1
     fi
+
+    # remove minimum size of 4096 bytes
+    sed -i '' 's/while (n < size \|\| n < 4096)/while (n < size)/g' main/parser.h
 else
     echo "Nothing to do."
 fi