From 2cb47355d4b3e8021a88f68f7a5f33ce46ff51b0 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 28 Jan 2014 06:55:47 +0100
Subject: Renamed manual/FILES_* directories

---
 manual/FILES_Prog/Makefile | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 manual/FILES_Prog/Makefile

(limited to 'manual/FILES_Prog/Makefile')

diff --git a/manual/FILES_Prog/Makefile b/manual/FILES_Prog/Makefile
deleted file mode 100644
index 8e326bdc2..000000000
--- a/manual/FILES_Prog/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-test: stubnets.so
-	yosys -ql test1.log -m ./stubnets.so test.v -p "stubnets"
-	yosys -ql test2.log -m ./stubnets.so test.v -p "opt; stubnets"
-	yosys -ql test3.log -m ./stubnets.so test.v -p "techmap; opt; stubnets -report_bits"
-	tail test1.log test2.log test3.log
-
-stubnets.so: stubnets.cc
-	yosys-config --exec --cxx --cxxflags --ldflags -o $@ -shared $^ --ldlibs
-
-clean:
-	rm -f test1.log test2.log test3.log
-	rm -f stubnets.so stubnets.d
-- 
cgit v1.2.3