From dd76fdfd819bb1a5423cea369df0e7f2ae449b62 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Fri, 31 Jul 2020 13:30:53 +0100
Subject: Remove old specs that have more up to date version

Move outdated things into old subdirectory
---
 power/Makefile | 45 ---------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 power/Makefile

(limited to 'power/Makefile')

diff --git a/power/Makefile b/power/Makefile
deleted file mode 100644
index be97aa0b..00000000
--- a/power/Makefile
+++ /dev/null
@@ -1,45 +0,0 @@
-SAIL:=../src/sail.native
-LEM:=../../lem/lem
-
-SOURCES:=power.sail ../lib/regfp.sail power_regfp.sail
-
-
-all: power.lem power.ml power_embed.lem
-
-power.lem: $(SOURCES)
-	$(SAIL) -lem_ast -o power $(SOURCES)
-
-power.ml: power.lem ../src/lem_interp/interp_ast.lem
-	$(LEM) -ocaml -lib ../src/lem_interp/ $<
-
-
-power_embed.lem: $(SOURCES)
-# also generates power_embed_sequential.lem, power_embed_types.lem, power_toFromInterp.lem
-	$(SAIL) -lem -lem_lib Power_extras_embed -o power $(SOURCES)
-
-clean:
-	rm -f power.lem power.ml
-	rm -f power_embed*.lem power_toFromInterp.lem
-
-######################################################################
-ETCDIR=../etc
-
-apply_header:
-	headache -c $(ETCDIR)/headache_config -h $(ETCDIR)/power_header *.sail
-.PHONY: apply_header
-
-######################################################################
-IDLPOWER=../../../rsem/idl/power
-
-pull_from_idl:
-	cp -a $(IDLPOWER)/generated/power.sail ./
-# 	cp -a $(IDLPOWER)/generated/*.lem ./
-# 	cp -a $(IDLPOWER)/generated/power.ml ./
-# 	cp -a $(IDLPOWER)/generated/*.txt ./
-	cp -a $(IDLPOWER)/extras/*.sail ./
-	cp -a $(IDLPOWER)/extras/*.lem ./
-	mkdir -p gen
-	cp -a $(IDLPOWER)/generated/*.gen gen/
-	cp -a $(IDLPOWER)/*.hgen gen/
-	$(MAKE) apply_header
-.PHONY: pull_from_idl
-- 
cgit v1.2.3