mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
d5e4ffd191
Issue #4094
16 lines
501 B
Plaintext
16 lines
501 B
Plaintext
LICENSE := LGPL
|
|
VERSION := 10.3.0
|
|
DOWNLOADS := sanitizer.archive
|
|
|
|
URL(sanitizer) := ftp://ftp.fu-berlin.de/gnu/gcc/gcc-$(VERSION)/gcc-$(VERSION).tar.xz
|
|
SHA(sanitizer) := 64f404c1a650f27fc33da242e1f2df54952e3963a49e06e73f6940f3223ac344
|
|
DIR(sanitizer) := src/lib/sanitizer
|
|
SIG(sanitizer) := ${URL(gcc)}
|
|
KEY(sanitizer) := GNU
|
|
|
|
TAR_OPT(sanitizer) := gcc-$(VERSION)/libsanitizer \
|
|
--strip-components=2
|
|
|
|
PATCHES := src/lib/sanitizer/*.patch
|
|
PATCH_OPT := -p1 -d src/lib/sanitizer
|