blob: 52348e6dba04e5b7d670b23ae5b1c7618b1567bb (
plain)
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
|
pkgbase = hal-emsec-git
pkgdesc = Hardware Analyzer for Hardware Reversing from emsec
pkgver = 4.4.1.r241.gf715873
pkgrel = 1
url = https://github.com/emsec/hal
arch = x86_64
license = MIT
makedepends = boost
makedepends = cmake
makedepends = git
makedepends = ninja
makedepends = nlohmann-json
makedepends = pybind11
makedepends = rapidjson
depends = graphviz
depends = igraph
depends = python
depends = qt5-svg
depends = quazip-qt5
depends = spdlog
depends = z3
provides = hal-emsec
conflicts = hal-emsec
source = hal-emsec::git+https://github.com/emsec/hal.git#branch=master
source = 0001-add-algorithm-header-f67c717.patch::https://github.com/emsec/hal/commit/f67c7170eb9f8416d0133200c22469d7a723562a.diff
source = 0002-cast-Z3_decl_kind-c3d3b81.patch::https://github.com/emsec/hal/commit/c3d3b814aa4c428497354dba6920ceeff7ad3516.diff
sha256sums = SKIP
sha256sums = 6b731f233cc2b94e0f98340ad52bf91a4c09d5cdf057d2260b9b2747da6ce30b
sha256sums = 7c53acedb6a066f0dba1db756f3c7038a35bec5f2f24ab3b788f87cd36683cf8
pkgname = hal-emsec-git
|