summaryrefslogtreecommitdiffstats
path: root/bin/dune
diff options
context:
space:
mode:
authorScott Lawrence <scott+git@ineffectivetheory.com>2024-06-25 23:33:59 -0700
committerScott Lawrence <scott+git@ineffectivetheory.com>2024-06-25 23:33:59 -0700
commit490ab998999e033e91929f63d2deae4900c90375 (patch)
tree08ce565459a78073013d82e1a3bd61bfa179b0a1 /bin/dune
parent062d3944ee86c273ad3919993185d5901768ef2d (diff)
downloadagate-490ab998999e033e91929f63d2deae4900c90375.tar.gz
agate-490ab998999e033e91929f63d2deae4900c90375.tar.bz2
agate-490ab998999e033e91929f63d2deae4900c90375.zip
Stub of using angstrom
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune3
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/dune b/bin/dune
index edad4dc..3891864 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,5 +1,4 @@
(executable
(public_name agate)
(name main)
- (libraries agate sedlex)
- (preprocess (pps sedlex.ppx)))
+ (libraries agate angstrom))