Cut tree_gen.py

nickdrozd · Sep 3, 2024 · 1200d68 · 1200d68
1 parent fd454ec
commit 1200d68
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 118 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -41,10 +41,6 @@ jobs:
           make coverage
           make test-all
 
-      - name: Tree Gen
-        run: |
-          make generate
-
   Mac-Idris:
     runs-on: macos-latest
 

diff --git a/Makefile b/Makefile
@@ -122,28 +122,3 @@ mutmut :
 
 profile :
 	$(MAKE) -C perf
-
-## Program files (non-phony) ###########
-
-TIME = time -p
-TREE = $(PYTHON) tree_gen.py
-
-3-2.prog :
-	$(TIME) $(TREE) 3 2 | sort > $@
-
-2-3.prog :
-	$(TIME) $(TREE) 2 3 | sort > $@
-
-4-2.prog :
-	$(TIME) $(TREE) 4 2 | tee $@
-	sort -o $@ $@
-
-2-4.prog :
-	$(TIME) $(TREE) 2 4 | tee $@
-	sort -o $@ $@
-
-5-2.prog :
-	$(TIME) $(TREE) 5 2 > $@
-
-generate : 3-2.prog 2-3.prog
-	wc -l *.prog
diff --git a/tree_gen.py b/tree_gen.py