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

---
 src/dune | 48 ------------------------------------------------
 1 file changed, 48 deletions(-)
 delete mode 100644 src/dune

(limited to 'src/dune')

diff --git a/src/dune b/src/dune
deleted file mode 100644
index e8b53fc5..00000000
--- a/src/dune
+++ /dev/null
@@ -1,48 +0,0 @@
-;; 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