simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

details: synopsis in dune files

Browse source
This commit is contained in:
Simon Cruanes 2022-07-28 23:30:42 -04:00
parent c1af4374bd
commit 65c6872853
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/memtrace/dune
View file

@ -1,6 +1,7 @@
(library
(name sidekick_memtrace)
(public_name sidekick.memtrace)
(synopsis "optional interface to memtrace")
(libraries
(select
sidekick_memtrace.ml

1
src/zarith/dune
View file

@ -1,6 +1,7 @@
(library
(name sidekick_zarith)
(public_name sidekick.zarith)
(synopsis "Interface to zarith (optional) for arithmetic")
(optional) ; dep on zarith
(flags :standard -warn-error -a+8)
(libraries sidekick.core sidekick.arith zarith))