bnd.bnd 1.06 KB
Newer Older
1

2
Main-Class: org.shemshak.alloy.catalyst.MainCLI
3 4

-buildpath: \
5
	org.shemshak.alloy.catalyst,\
6 7 8 9 10 11 12 13 14 15 16
    org.alloytools.alloy.core,\
	org.alloytools.kodkod.core;version=latest,\
	org.alloytools.kodkod.nativesat.x86-windows;version=latest,\
	org.alloytools.kodkod.nativesat.amd64-linux;version=latest,\
	org.alloytools.kodkod.nativesat.util;version=latest,\
	org.alloytools.kodkod.nativesat.x86-linux;version=latest,\
	org.alloytools.kodkod.nativesat.x86-mac;version=latest

-sources: false

-includeresource: \
17
	@${repo;org.shemshak.alloy.catalyst}, \
18 19 20 21 22 23 24 25
    @${repo;org.alloytools.alloy.core}, \
	@${repo;org.alloytools.kodkod.core}, \
	@${repo;org.alloytools.kodkod.nativesat.util}, \
	@${repo;org.alloytools.kodkod.nativesat.amd64-linux}, \
	@${repo;org.alloytools.kodkod.nativesat.x86-linux}, \
	@${repo;org.alloytools.kodkod.nativesat.x86-mac}, \
	@${repo;org.alloytools.kodkod.nativesat.x86-windows}, \
	@${repo;org.sat4j.core}, \
26
	@${repo;info.picocli:picocli}, \
27
    @${repo;com.google.gson}, \
Amin Bandali's avatar
Amin Bandali committed
28
    @${repo;org.apache.commons.codec}, \
29
    @${repo;org.apache.commons.math3}, \
30
	LICENSES