diff options
| author | Thomas Bauereiss | 2017-12-06 17:18:36 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-12-06 17:18:36 +0000 |
| commit | 2bc281428a3a1d608d56f69e71b50056a25e3da0 (patch) | |
| tree | dfd8e8a13702696fd9daef64315952b9652f95e8 /power/Makefile | |
| parent | c3c3c40a1d4f81448d8356317e88be2b04363df7 (diff) | |
| parent | 44e9396fa90ab68ee4c8d9674c6bbad6fc851c6d (diff) | |
Merge remote branch 'experiments' into experiments
Diffstat (limited to 'power/Makefile')
| -rw-r--r-- | power/Makefile | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/power/Makefile b/power/Makefile new file mode 100644 index 00000000..9559646c --- /dev/null +++ b/power/Makefile @@ -0,0 +1,49 @@ +SAIL:=../src/sail.native +LEM:=../../lem/lem + +SOURCES:=power.sail ../etc/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) + # patch: + rm -f power_embed.lem power_embed_sequential.lem + cp power_embed.lem.fixed power_embed.lem + cp power_embed_sequential.lem.fixed power_embed_sequential.lem + +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 |