Skip to content

Commit a3bd387

Browse files
committed
enter elpi.ppx
1 parent 95fa267 commit a3bd387

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

45 files changed

+5959
-2
lines changed

ppx_elpi/dune

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
(library
2+
(name ppx_elpi)
3+
(public_name elpi.ppx)
4+
(synopsis "[@@elpi]")
5+
(libraries re ppxlib)
6+
(preprocess (pps ppxlib.metaquot))
7+
(ppx_runtime_libraries elpi)
8+
(modules ppx_elpi)
9+
(kind ppx_rewriter)
10+
(optional)
11+
)
12+
13+
(env
14+
(dev
15+
(flags (:standard -warn-error -A))))

0 commit comments

Comments
 (0)