rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

separate executable into its own package

Browse source
This commit is contained in:
rhiannon morris 2022-04-25 18:10:59 +02:00
parent 4cbe88496c
commit f33e96e198
2 changed files with 23 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
quox-exe.ipkg Normal file
View file

@ -0,0 +1,7 @@
package quox-exe
executable = quox
main = Quox
sourcedir = "src"
depends = base, contrib, quox

20
quox.ipkg
View file

@ -5,8 +5,20 @@ authors = "rhiannon morris"
-- homepage = "..." -- homepage = "..."
sourceloc = "https://git.rhiannon.website/rhi/quox" sourceloc = "https://git.rhiannon.website/rhi/quox"
executable = quox
main = Quox
sourcedir = "src"
depends = base, contrib depends = base, contrib
sourcedir = "src"
modules =
Quox.Error,
Quox.NatExtra,
Quox.OPE,
Quox.Pretty,
Quox.Syntax,
Quox.Context,
Quox.Equal,
Quox.Name,
Quox.Reduce,
Quox.Typing,
Quox.Typechecker