From 7e7d0d67de8285e1d6c589750191bce4f49aacb3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:16:46 +0200
Subject: Reorganize a bit the project

---
 compiler/dune | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 compiler/dune

(limited to 'compiler/dune')

diff --git a/compiler/dune b/compiler/dune
new file mode 100644
index 00000000..e8b53fc5
--- /dev/null
+++ b/compiler/dune
@@ -0,0 +1,48 @@
+;; core: for Core.Unix.mkdir_p
+
+(executable
+ (name driver)
+ (public_name aeneas_driver)
+ (package aeneas)
+ (preprocess
+  (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
+ (libraries ppx_deriving yojson zarith easy_logging core_unix aeneas)
+ (modules driver))
+
+(library
+ (name aeneas) ;; The name as used in the project
+ (public_name aeneas) ;; The name as revealed to the projects importing this library
+ (preprocess
+  (pps ppx_deriving.show ppx_deriving.ord visitors.ppx))
+ (libraries ppx_deriving yojson zarith easy_logging core_unix)
+ (modules Assumed Collections ConstStrings Contexts Cps Crates Errors
+   Expressions ExpressionsUtils ExtractToFStar FunsAnalysis Identifiers
+   InterpreterBorrowsCore InterpreterBorrows InterpreterExpansion
+   InterpreterExpressions Interpreter InterpreterPaths InterpreterProjectors
+   InterpreterStatements InterpreterUtils Invariants LlbcAst LlbcAstUtils
+   LlbcOfJson Logging Meta Names OfJsonBasic PrePasses Print PrintPure
+   PureMicroPasses Pure PureToExtract PureTypeCheck PureUtils Scalars
+   StringUtils Substitute SymbolicAst SymbolicToPure SynthesizeSymbolic
+   TranslateCore Translate TypesAnalysis Types TypesUtils Utils Values
+   ValuesUtils))
+
+(documentation
+ (package aeneas))
+
+(env
+ (dev
+  (flags
+   :standard
+   -safe-string
+   -g
+   ;-dsource
+   -warn-error
+   -5-8-9-11-14-33-20-21-26-27-39))
+ (release
+  (flags
+   :standard
+   -safe-string
+   -g
+   ;-dsource
+   -warn-error
+   -5-8-9-11-14-33-20-21-26-27-39)))
-- 
cgit v1.2.3