diff options
author | Antonio Rojas | 2017-10-24 07:20:26 +0000 |
---|---|---|
committer | Antonio Rojas | 2017-10-24 07:20:26 +0000 |
commit | 56e447f6cfa2877e00b6a201b7ab7f5536551aba (patch) | |
tree | 323eb57579e5faae62006f8f91458ee5a53254ee /PKGBUILD | |
download | aur-56e447f6cfa2877e00b6a201b7ab7f5536551aba.tar.gz |
Dropped from repos
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..7e41d830f64d --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,32 @@ +# Maintainer: Daniel Isenmann <daniel@archlinux.org> + +pkgname=mono-debugger +pkgver=2.10 +pkgrel=3 +pkgdesc="The Mono Debugger" +arch=('i686' 'x86_64') +license=('GPL') +url="http://www.mono-project.com/" +depends=('mono>=2.10.1') +options=('!makeflags') +source=(http://download.mono-project.com/sources/${pkgname}/${pkgname}-${pkgver}.tar.bz2) +md5sums=('02ee485f2aae279f2fa3a7051c7d580e') + +prepare() { + # get rid of that .wapi errors; thanks to brice + export MONO_SHARED_DIR=${srcdir}/weird + mkdir -p "${MONO_SHARED_DIR}" + + rm -rf build/*.dll +} + +build() { + cd ${pkgname}-${pkgver} + ./configure --prefix=/usr + make +} + +package() { + cd ${pkgname}-${pkgver} + make DESTDIR=${pkgdir} install +} |