-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathdot-parse.ipkg
50 lines (40 loc) · 1.14 KB
/
dot-parse.ipkg
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
package dot-parse
version = 0.3.0
authors = "Thomas E. Hansen (CodingCellist)"
-- maintainers =
license = "BSD-3-Clause"
brief = "Idris2 lexer and parser for the DOT language used in GraphViz files."
-- readme =
homepage = "https://github.com/CodingCellist/idris2-dot-parse"
sourceloc = "https://github.com/CodingCellist/idris2-dot-parse"
bugtracker = "https://github.com/CodingCellist/idris2-dot-parse/issues"
-- packages to add to search path
depends = idris2
-- modules to install
modules = Graphics.DOT.Lexer
, Graphics.DOT.AST
, Graphics.DOT.Utils.Filters
, Graphics.DOT.Utils
, Graphics.DOT.Interfaces
, Graphics.DOT.Parser
, Graphics.DOT
-- main file (i.e. file to load at REPL)
main = Graphics.DOT
-- name of executable
-- executable =
-- opts =
sourcedir = "src"
-- builddir =
-- outputdir =
-- script to run before building
-- prebuild =
-- script to run after building
-- postbuild =
-- script to run after building, before installing
-- preinstall =
-- script to run after installing
-- postinstall =
-- script to run before cleaning
-- preclean =
-- script to run after cleaning
-- postclean =