summaryrefslogtreecommitdiff
path: root/compiler/dune
blob: 0968b2be4fc78928cb10656cec8833edd7d61dbd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
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)))