diff options
author | Son Ho | 2022-03-04 12:25:49 +0100 |
---|---|---|
committer | Son Ho | 2022-03-04 12:25:49 +0100 |
commit | 6395dbcc29480a37cd73b51deac5f1b289131e4f (patch) | |
tree | 7b1b02e21490868a5e74a31ac5a8d7208554b4cd /Makefile | |
parent | 7258f2e39ff20794a4a841f9a39ca6966f0425a9 (diff) |
Fix a minor issue with external function declarations
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -30,7 +30,7 @@ build: # Test the project .PHONY: test test: build translate-no_nested_borrows translate-hashmap translate-paper \ - translate-nll-betree_nll + translate-external translate-nll-betree_nll # Add specific options to some tests translate-no_nested_borrows translate-paper: \ @@ -42,6 +42,9 @@ translate-hashmap: SUBDIR:=hashmap translate-nll-betree_nll: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses translate-nll-betree_nll: SUBDIR:=misc +translate-external: TRANS_OPTIONS += +translate-external: SUBDIR:=misc + # Generic rules to extract the LLBC from a rust file # We use the rules in Charon's Makefile to generate the .llbc files: the options # vary with the test files. |