Skip to content

Instantly share code, notes, and snippets.

@alanbriolat
Created July 27, 2012 11:21
Show Gist options
  • Save alanbriolat/3187464 to your computer and use it in GitHub Desktop.
Save alanbriolat/3187464 to your computer and use it in GitHub Desktop.
monodevelop-git AUR package tweaks
# Maintainer: Dominic Werner <[email protected]>
# Contributor: Jonathan Lestrelin <[email protected]>
# Part of this PKGBUILD was taken from the monodevelop one from:
# Contributor: Daniel Isenmann <[email protected]>
# Contributor: Timm Preetz <[email protected]>
# Contributor: Giovanni Scafora <[email protected]>
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.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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment