-- luacheck: std rockspec package = "petrisport" version = "0.1-1" source = { url = "git+https://github.com/cui-unige/petrisport.git", tag = "0.1", } description = { summary = "Petri sport", detailed = [[]], homepage = "https://github.com/cui-unige/petrisport", license = "MIT/X11", maintainer = "Alban Linard ", } dependencies = { "lua >= 5.1", "ansicolors", "argparse", "busted", "luacheck", "cluacov", "coronest", "etlua", "luaexpat", "luafilesystem", "lualogging", "luasocket", "luasec", "magic", } build = { type = "builtin", modules = { ["petrinet" ] = "src/petrinet/init.lua", ["petrinet.marking" ] = "src/petrinet/marking/init.lua", ["petrinet.state" ] = "src/petrinet/state/init.lua", ["petrinet.reachability"] = "src/petrinet/reachability/init.lua", ["petrinet.analysis" ] = "src/petrinet/analysis/init.lua", ["petrinet.example.dimitri" ] = "src/petrinet/example/dimitri.lua", ["petrinet.example.flag" ] = "src/petrinet/example/flag.lua", }, install = { bin = { ["petrisport"] = "src/petrinet/bin.lua", }, }, }