2021-01-22 19:44:05 +03:00
|
|
|
#!/usr/bin/env -S bash ../.port_include.sh
|
2020-02-01 22:54:04 +03:00
|
|
|
port=ed
|
|
|
|
|
version=1.15
|
2021-04-16 20:39:43 +03:00
|
|
|
files="https://ftpmirror.gnu.org/gnu/ed/ed-${version}.tar.lz ed-${version}.tar.lz
|
|
|
|
|
https://ftpmirror.gnu.org/gnu/ed/ed-${version}.tar.lz.sig ed-${version}.tar.lz.sig
|
|
|
|
|
https://ftpmirror.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg"
|
|
|
|
|
auth_type="sig"
|
2021-04-17 03:15:45 +03:00
|
|
|
auth_opts="--keyring ./gnu-keyring.gpg ed-${version}.tar.lz.sig"
|
2020-02-01 22:54:04 +03:00
|
|
|
useconfigure=true
|
|
|
|
|
depends=pcre2
|
|
|
|
|
|
|
|
|
|
configure() {
|
2021-04-20 19:29:35 +03:00
|
|
|
run ./"$configscript"
|
2020-02-01 22:54:04 +03:00
|
|
|
}
|
