ditch ninja build

aappleby · Aug 11, 2024 · 9c181da · 9c181da
1 parent 855b427
commit 9c181da
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 254 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,4 @@ platform.info
 csmith_files
 test_files
 __pycache__
+hancho.py
diff --git a/build.ninja b/build.ninja
diff --git a/build.sh b/build.sh
@@ -0,0 +1,6 @@
+echo "FIXME - we are pointed at hancho/v020/hancho.py and not main"
+if [ ! -f "hancho.py" ]; then
+  echo "Fetching Hancho build script"
+  wget -q https://raw.githubusercontent.com/aappleby/hancho/v020/hancho.py
+fi
+python3 hancho.py
diff --git a/build_docs.ninja b/build_docs.ninja
diff --git a/config.ninja b/config.ninja