genode/repos/ports/ports/make.port

LICENSE   := GPLv3
VERSION   := 3.82
DOWNLOADS := make.archive

URL(make) := http://ftp.gnu.org/pub/gnu/make/make-$(VERSION).tar.gz
SHA(make) := 3d991b33e604187c5881a0abc2e102d5b9776da5569640e73778f85d617242e7
SIG(make) := ${URL(make)}.sig
KEY(make) := GNU
DIR(make) := src/noux-pkg/make
ports: migrate to new ports mechanism Issue #1082 2014-05-17 00:57:41 +02:00			`LICENSE := GPLv3`
			`VERSION := 3.82`
			`DOWNLOADS := make.archive`

			`URL(make) := http://ftp.gnu.org/pub/gnu/make/make-$(VERSION).tar.gz`
Replace SHA1 hashes of port downloads with SHA256 Now SHA256 has been shown to be an adequate replacement for SHA1, use SHA256 for verifying all port downloads. Ref #2767 2018-05-07 16:45:50 +02:00			`SHA(make) := 3d991b33e604187c5881a0abc2e102d5b9776da5569640e73778f85d617242e7`
ports: migrate to new ports mechanism Issue #1082 2014-05-17 00:57:41 +02:00			`SIG(make) := ${URL(make)}.sig`
			`KEY(make) := GNU`
			`DIR(make) := src/noux-pkg/make`