From 411f6964f7d62de6c2b45dfb2400f76686447cd7 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 13:44:11 +0100
Subject: Add a `bin` folder

---
 Makefile | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7f1edf7a..47721ac5 100644
--- a/Makefile
+++ b/Makefile
@@ -21,11 +21,9 @@ CHARON_HOME ?= ../charon
 CHARON_TESTS_REGULAR_DIR ?= $(CHARON_HOME)/tests
 CHARON_TESTS_POLONIUS_DIR ?= $(CHARON_HOME)/tests-polonius
 
-AENEAS_DRIVER = driver.exe
-
 # The path to the Aeneas executable to run the tests - we need the ability to
 # change this path for the Nix package.
-AENEAS_EXE ?= compiler/_build/default/$(AENEAS_DRIVER)
+AENEAS_EXE ?= bin/aeneas.exe
 
 # The user can specify additional translation options for Aeneas.
 # By default we do:
@@ -54,7 +52,7 @@ build-tests-verify: build tests verify
 
 # Build the project
 .PHONY: build
-build: build-driver build-lib doc
+build: build-driver build-lib build-bin-dir doc
 
 .PHONY: build-driver
 build-driver:
@@ -64,6 +62,13 @@ build-driver:
 build-lib:
 	cd compiler && dune build aeneas.cmxs
 
+.PHONY: build-bin-dir
+build-bin-dir: build-driver build-lib
+	mkdir -p bin
+	cp -f compiler/_build/default/driver.exe bin/aeneas.exe
+	cp -f compiler/_build/default/driver.exe bin/aeneas.cmxs
+	cp -rf fstar bin
+
 .PHONY: doc
 doc:
 	cd compiler && dune build @doc
-- 
cgit v1.2.3