Skip to content
Permalink
Browse files

Makefile: remove need for analysis.k

  • Loading branch information...
ehildenb committed Apr 14, 2019
1 parent f97024b commit 58de40cee44ea18ea5e5ecef226759cdcbf75099
Showing with 1 addition and 4 deletions.
  1. +1 −4 Makefile
@@ -109,7 +109,7 @@ concrete_tangle:=.k:not(.node):not(.symbolic),.standalone,.concrete
symbolic_tangle:=.k:not(.node):not(.concrete),.standalone,.symbolic
node_tangle:=.k:not(.standalone):not(.symbolic),.node,.concrete

k_files:=driver.k data.k network.k evm.k analysis.k krypto.k edsl.k evm-node.k
k_files:=driver.k data.k network.k evm.k krypto.k edsl.k evm-node.k
ocaml_files:=$(patsubst %,.build/ocaml/%,$(k_files))
java_files:=$(patsubst %,.build/java/%,$(k_files))
node_files:=$(patsubst %,.build/node/%,$(k_files))
@@ -308,9 +308,6 @@ test-interactive: $(interactive_tests:=.test)
tests/interactive/%.json.test: tests/interactive/%.json
$(TEST) test --backend $(TEST_CONCRETE_BACKEND) $<

tests/interactive/gas-analysis/%.evm.test: tests/interactive/gas-analysis/%.evm tests/interactive/gas-analysis/%.evm.out
MODE=GASANALYZE $(TEST) test --backend $(TEST_CONCRETE_BACKEND) $<

# ProofTests

proof_repo:=tests/proofs

0 comments on commit 58de40c

Please sign in to comment.
You can’t perform that action at this time.