aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
blob: c494f86a1f603fadfd200fb5d3b6a02c9c12a2a9 (plain) (blame)
1
2
3
4
5
6
7
(include_subdirs qualified)

(library
 (name rnt)
 (public_name rnt)
 (libraries batteries ctypes ctypes-foreign sexplib digestif)
 (flags :standard -cclib -llmdb))