comparison core/ed/ed.sh @ 136:e737b80da269

core: merge .sh and .info
author David Demelier <markand@malikania.fr>
date Mon, 11 Mar 2019 14:59:13 +0100
parents 7bb9fae5dab4
children bdad6c7981e7
comparison
equal deleted inserted replaced
135:3565bfc4a451 136:e737b80da269
13 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN 13 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
14 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF 14 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
15 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. 15 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
16 # 16 #
17 17
18 PKGNAME=ed
19 PKGVERSION=1.15
20 PKGREVISION=1
21 PKGLICENSE="GPLv3+"
22 PKGSUMMARY="GNU stream editor"
23 PKGDOWNLOAD="https://ftp.gnu.org/gnu/$PKGNAME/$PKGNAME-$PKGVERSION.tar.lz"
24
18 : ${CC:=gcc} 25 : ${CC:=gcc}
19 : ${CFLAGS:=-O2} 26 : ${CFLAGS:=-O2}
20 27
21 source ./ed.info 28 build()
29 {
30 rm -rf $PKGNAME-$PKGVERSION
31 tar xvaf $PKGNAME-$PKGVERSION.tar.lz
32 pushd $PKGNAME-$PKGVERSION
22 33
23 set -ex 34 # custom configure script.
35 ./configure --prefix=/usr CC="$CC" CFLAGS="$CFLAGS"
36 make
37 make install DESTDIR=$DESTDIR
24 38
25 rm -rf $PKGNAME-$PKGVERSION 39 popd
26 tar xvaf $PKGNAME-$PKGVERSION.tar.lz 40 rm -rf $PKGNAME-$PKGVERSION
27 pushd $PKGNAME-$PKGVERSION 41 }
28
29 # custom configure script.
30 ./configure --prefix=/usr CC="$CC" CFLAGS="$CFLAGS"
31 make
32 make install DESTDIR=$DESTDIR
33
34 popd
35 rm -rf $PKGNAME-$PKGVERSION