Upgrade to TLAUC 1.0.0 (#140)

Signed-off-by: Andrew Helwer <[email protected]>

Author: ahelwer

.github/scripts/linux-setup.sh

@@ -59,7 +59,7 @@ main() {
     echo "Unknown OS: $kernel"
     exit 1
   fi
-  wget -nv "https://github.com/tlaplus-community/tlauc/releases/download/v0.2.0/tlauc-$TLAUC_OS_STR.tar.gz" -O /tmp/tlauc.tar.gz
+  wget -nv "https://github.com/tlaplus-community/tlauc/releases/latest/download/tlauc-$TLAUC_OS_STR.tar.gz" -O /tmp/tlauc.tar.gz
   tar -xzf /tmp/tlauc.tar.gz --directory "$DEPS_DIR/tlauc"
   # Install TLAPS
   if [ "$kernel" == "Linux" ]; then

.github/scripts/unicode_conversion.py

@@ -23,7 +23,7 @@
 logging.basicConfig(level = logging.DEBUG if args.verbose else logging.INFO)
 
 tlauc_path = normpath(args.tlauc_path)
-command = 'ascii' if args.to_ascii else 'unicode'
+to_ascii = args.to_ascii
 manifest_path = normpath(args.manifest_path)
 examples_root = dirname(manifest_path)
 skip_modules = [normpath(path) for path in args.skip]
@@ -44,9 +44,9 @@
     logging.info(f'Skipping {path}')
 
 def convert_module(module_path):
-    logging.info(f'Converting {module_path} to {command}')
+    logging.info(f'Converting {module_path}')
     result = subprocess.run(
-        [tlauc_path, command, '--input', module_path, '--output', module_path, '--overwrite'],
+        [tlauc_path, module_path] + (['--ascii'] if to_ascii else []),
         stdout=subprocess.PIPE,
         stderr=subprocess.STDOUT,
         text=True
@@ -64,7 +64,7 @@ def convert_module(module_path):
 
 success = True
 thread_count = cpu_count() if not args.verbose else 1
-logging.info(f'Converting using {thread_count} threads')
+logging.info(f'Converting specs to {"ASCII" if to_ascii else "Unicode"} using {thread_count} threads')
 with ThreadPoolExecutor(thread_count) as executor:
     results = executor.map(convert_module, modules)
     exit(0 if all(results) else 1)

.github/scripts/windows-setup.sh

@@ -47,7 +47,7 @@ main() {
   rm tlapm.zip
   # Get TLAUC
   mkdir -p "$DEPS_DIR/tlauc"
-  curl -L https://github.com/tlaplus-community/tlauc/releases/download/v0.2.0/tlauc-windows.zip --output tlauc.zip
+  curl -L https://github.com/tlaplus-community/tlauc/releases/latest/download/tlauc-windows.zip --output tlauc.zip
   7z x tlauc.zip
   mv tlauc.exe "$DEPS_DIR/tlauc/"
   rm tlauc.zip