From e1f79b07440f35e5e6296b61819cf50e6f60f090 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Oct 2022 17:31:24 +0200
Subject: Start generating documentation

---
 src/dune | 27 +++++++++++++++++++++++++--
 1 file changed, 25 insertions(+), 2 deletions(-)

(limited to 'src/dune')

diff --git a/src/dune b/src/dune
index ccf726c9..e8b53fc5 100644
--- a/src/dune
+++ b/src/dune
@@ -1,10 +1,33 @@
 ;; core: for Core.Unix.mkdir_p
 
 (executable
- (name main)
+ (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))
+ (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
-- 
cgit v1.2.3