Files
genode-world/ports/umurmur.port
Josef Söntgen 1a29597d57 Port of umurmur 0.2.17
Fixes #118.
2018-09-29 11:10:37 +02:00

11 lines
333 B
Plaintext

LICENSE := BSD
VERSION := 0.2.17
DOWNLOADS := umurmur.archive
URL(umurmur) := https://github.com/umurmur/umurmur/archive/0.2.17.tar.gz
SHA(umurmur) := e77b7b6616768f4a1c07442afe49a772692f667b00c23cc85909d4dd0ce206d2
DIR(umurmur) := src/app/umurmur
PATCHES := src/app/umurmur/umurmur.patch
PATCH_OPT := -p1 -d src/app/umurmur