This commit is contained in:
parent
7748139d75
commit
2307924a2f
3 changed files with 6 additions and 0 deletions
5
lib/dune
5
lib/dune
|
|
@ -18,3 +18,8 @@
|
||||||
(name amount)
|
(name amount)
|
||||||
(modules amount)
|
(modules amount)
|
||||||
(libraries angstrom fmt zarith))
|
(libraries angstrom fmt zarith))
|
||||||
|
|
||||||
|
(library
|
||||||
|
(name headers_lib)
|
||||||
|
(modules headers_lib)
|
||||||
|
(libraries angstrom fmt))
|
||||||
|
|
|
||||||
1
src/dune
1
src/dune
|
|
@ -13,6 +13,7 @@
|
||||||
b32
|
b32
|
||||||
include
|
include
|
||||||
parse_config
|
parse_config
|
||||||
|
headers_lib
|
||||||
;
|
;
|
||||||
caqti
|
caqti
|
||||||
caqti-miou
|
caqti-miou
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue