#!/bin/sh
#
# Copyright 2023-2026 Sasa Ostrouska <saxa@droplinegnome.org> 
# Available under the terms of the GNU GPL.
#

NAME="extension-manager"
VERSION="0.6.5"
REVISION="1"

PKG_SOURCEURL='https://github.com/mjakeman/${NAME}/archive/refs/tags/v${VERSION}.tar.gz'

. $DLG_ROOT/etc/config
. $DLG_ROOT/lib/dl-base

cflags
cxxflags
prepare
analyzesource
configure -Ddistributor=droplineGNOME -Dbacktrace=false
make
makeinstall
tidydocumentation
analyzebinaries
finalizepackage
packagize
cleanup
