summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
authorSon HO2023-11-22 15:06:43 +0100
committerGitHub2023-11-22 15:06:43 +0100
commitbacf3f5f6f5f6a9aa650d5ae8d12a132fd747039 (patch)
tree9953d7af1fe406cdc750030a43a5e4d6245cd763 /compiler/dune
parent587f1ebc0178acb19029d3fc9a729c197082aba7 (diff)
parent01cfd899119174ef7c5941c99dd251711f4ee701 (diff)
Merge pull request #45 from AeneasVerif/son_merge_types
Big cleanup
Diffstat (limited to '')
-rw-r--r--compiler/dune17
1 files changed, 8 insertions, 9 deletions
diff --git a/compiler/dune b/compiler/dune
index 648c7325..3a40e086 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -1,16 +1,16 @@
(executable
- (name driver)
- (public_name aeneas_driver)
+ (name main)
+ (public_name aeneas)
(package aeneas)
(libraries aeneas)
- (modules Driver))
+ (modules Main))
(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 charon core_unix unionFind ocamlgraph)
+ (libraries charon core_unix unionFind ocamlgraph str)
(modules
AssociatedTypes
Assumed
@@ -24,6 +24,7 @@
Extract
ExtractBase
ExtractBuiltin
+ ExtractName
ExtractTypes
FunsAnalysis
Identifiers
@@ -47,16 +48,14 @@
LlbcOfJson
Logging
Meta
- Names
PrePasses
Print
PrintPure
- PrimitiveValues
- PrimitiveValuesUtils
PureMicroPasses
Pure
PureTypeCheck
PureUtils
+ RegionsHierarchy
ReorderDecls
SCC
Scalars
@@ -85,7 +84,7 @@
-g
;-dsource
-warn-error
- -5@8-9-11-14-33-20-21-26-27-39))
+ -5@8-11-14-33-20-21-26-27-39))
(release
(flags
:standard
@@ -93,4 +92,4 @@
-g
;-dsource
-warn-error
- -5@8-9-11-14-33-20-21-26-27-39)))
+ -5@8-11-14-33-20-21-26-27-39)))