2a5e0f692b
[sledge] Move dep on Core to just bin
...
Reviewed By: ngorogiannis
Differential Revision: D20482754
fbshipit-source-id: d2d640a9c
5 years ago
8337097cf0
[sledge] Move Domain_itv and dependency on APRON from lib to bin
...
Reviewed By: ngorogiannis
Differential Revision: D20373384
fbshipit-source-id: 496f850b6
5 years ago
27f93b60da
[sledge] Move ctypes dep from lib to bin
...
Summary: The only code that uses Ctypes is in bin/frontend.ml
Reviewed By: ngorogiannis
Differential Revision: D20373139
fbshipit-source-id: 0edfdf2b1
5 years ago
f5ab894675
[sledge] Dedup preprocess entries in dune files
...
Summary:
Define a `ppx_sledge` ppx rewriter that composes all the ppx rewriters
used, so that the list needs to be specified only once.
Reviewed By: jvillard
Differential Revision: D20322874
fbshipit-source-id: f15540b7f
5 years ago
0c7249b992
[sledge] Change build system to not generate dune files
...
Reviewed By: jvillard
Differential Revision: D20322877
fbshipit-source-id: 0034a4163
5 years ago
Josh Berdine