summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 5356130970f90437adacf36f3265d9841ac27ce5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
pkgbase = lsoracle-git
	pkgdesc = Logic Synthesis oracle (with yosys plugin enabled)
	pkgver = r358.febd1523
	pkgrel = 1
	url = https://github.com/lnis-uofu/LSOracle
	arch = x86_64
	license = MIT
	makedepends = git
	makedepends = cmake
	makedepends = boost
	makedepends = gtest
	depends = yosys
	depends = python
	depends = boost-libs
	provides = lsoracle
	conflicts = lsoracle
	source = git+https://github.com/lnis-uofu/LSOracle.git
	sha256sums = SKIP

pkgname = lsoracle-git