Created
July 27, 2012 11:21
-
-
Save alanbriolat/3187464 to your computer and use it in GitHub Desktop.
monodevelop-git AUR package tweaks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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 ! | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- 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