public
Created

monodevelop-git AUR package tweaks

  • Download Gist
PKGBUILD
Shell
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
# Maintainer: Dominic Werner <aka.vince@gmail.com>
# Contributor: Jonathan Lestrelin <zanko@daemontux.org>
# Part of this PKGBUILD was taken from the monodevelop one from:
# Contributor: Daniel Isenmann <daniel@archlinux.org>
# Contributor: Timm Preetz <timm@preetz.us>
# Contributor: Giovanni Scafora <giovanni@archlinux.org>
 
pkgname=monodevelop-git
_pkgname=monodevelop
pkgver=20120727
pkgrel=1
pkgdesc="An IDE with support for Mono, C, C++, Vala, Java, Python..."
arch=('i686' 'x86_64')
url="http://www.monodevelop.com"
license=('GPL')
depends=('mono>=2.10.5' 'mono-addins>=0.6.2' 'gnome-sharp')
makedepends=('git' 'pkg-config')
provides=('monodevelop')
conflicts=('monodevelop')
install=monodevelop-git.install
source=()
sha256sums=()
options=(!makeflags)
_gitroot="git://github.com/mono/monodevelop.git"
_gitname="monodevelop"
 
build() {
cd "$srcdir"
if [ -d "$_gitname" ]; then
cd "$_gitname"
git pull origin || return 1
cd ..
else
git clone "$_gitroot" || return 1
fi
rm -rf "$_gitname-build"
git clone "$_gitname" "$_gitname-build" || return 1
cd "$_gitname-build"
 
./configure --prefix=/usr --profile=stable
make || return 1
}
 
package() {
cd "$_gitname-build"
make DESTDIR=$pkgdir install
rm -r $pkgdir/usr/share/mime #FIXME !
}
PKGBUILD.diff
Diff
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
--- PKGBUILD.orig 2012-06-05 20:20:04.000000000 +0100
+++ PKGBUILD 2012-07-27 12:13:19.000000000 +0100
@@ -7,7 +7,7 @@
pkgname=monodevelop-git
_pkgname=monodevelop
-pkgver=20120605
+pkgver=20120727
pkgrel=1
pkgdesc="An IDE with support for Mono, C, C++, Vala, Java, Python..."
arch=('i686' 'x86_64')
@@ -18,8 +18,9 @@
provides=('monodevelop')
conflicts=('monodevelop')
install=monodevelop-git.install
-source=(fix_deprecated_mkdir_p.patch)
-sha256sums=('0206dec9e18da5a5f3019994576238b183e3c5af9259a63a16e99718ae6c7bb7')
+source=()
+sha256sums=()
+options=(!makeflags)
_gitroot="git://github.com/mono/monodevelop.git"
_gitname="monodevelop"
@@ -35,8 +36,6 @@
rm -rf "$_gitname-build"
git clone "$_gitname" "$_gitname-build" || return 1
cd "$_gitname-build"
-
- patch -p1 < ${srcdir}/fix_deprecated_mkdir_p.patch
./configure --prefix=/usr --profile=stable
make || return 1

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.