diff options
author | Parabola <dev@list.parabolagnulinux.org> | 2011-04-05 14:26:38 +0000 |
---|---|---|
committer | Parabola <dev@list.parabolagnulinux.org> | 2011-04-05 14:26:38 +0000 |
commit | 415856bdd4f48ab4f2732996f0bae58595092bbe (patch) | |
tree | ede2018b591f6dfb477fe9341ba17b9bc000fab9 /extra/unison |
Tue Apr 5 14:26:38 UTC 2011
Diffstat (limited to 'extra/unison')
-rw-r--r-- | extra/unison/PKGBUILD | 46 | ||||
-rw-r--r-- | extra/unison/unison-ssh-ocaml.patch | 25 | ||||
-rw-r--r-- | extra/unison/unison.desktop | 13 | ||||
-rw-r--r-- | extra/unison/unison.install | 28 |
4 files changed, 112 insertions, 0 deletions
diff --git a/extra/unison/PKGBUILD b/extra/unison/PKGBUILD new file mode 100644 index 000000000..021950ef5 --- /dev/null +++ b/extra/unison/PKGBUILD @@ -0,0 +1,46 @@ +# $Id: PKGBUILD 110780 2011-02-22 07:48:24Z tpowa $ +#Maintainer: Tobias Powalowski <tpowa@archlinux.org> + +pkgname=unison +pkgver=2.40.61 +pkgrel=1 +pkgdesc="Unison is a file-synchronization tool" +arch=(i686 x86_64) +license=('GPL2') +url="http://www.cis.upenn.edu/~bcpierce/unison" +depends=('glibc') +makedepends=('ocaml' 'lablgtk2' 'imagemagick') +source=(http://www.cis.upenn.edu/~bcpierce/unison/download/releases/stable/$pkgname-$pkgver.tar.gz + $pkgname.desktop) +options=(!makeflags) + +build() { + cd $startdir/src/$pkgname-$pkgver + CFLAGS="" + make clean + make mkProjectInfo + make UISTYLE=text DEBUGGING=false THREADS=true + mkdir -p $startdir/pkg/usr/bin + install -Dm755 unison $startdir/pkg/usr/bin/unison + + # clean the builddir and rebuild with gtk support + # broken at the moment! + # make clean + # make mkProjectInfo + # make UISTYLE=gtk DEBUGGING=false THREADS=true + # install -Dm755 unison $startdir/pkg/usr/bin/unison-gtk + # clean the builddir and rebuild with gtk2 support + make clean + make mkProjectInfo + make UISTYLE=gtk2 DEBUGGING=false THREADS=true + install -Dm755 unison $startdir/pkg/usr/bin/unison-gtk2 + # install a .desktop file; create a compliant icon from ico file and install the png + install -Dm644 ../$pkgname.desktop $startdir/pkg/usr/share/applications/$pkgname.desktop + convert win32rc/U.ico unison.png + install -Dm644 ${pkgname}-1.png $startdir/pkg/usr/share/pixmaps/$pkgname.png + # make symlink for .desktop file + cd $startdir/pkg//usr/bin + ln -s unison-gtk2 unison-x11 +} +md5sums=('9d48796b115704321c6a4a50dd0928ee' + '2daecba7705455a8e4b769e48b059872') diff --git a/extra/unison/unison-ssh-ocaml.patch b/extra/unison/unison-ssh-ocaml.patch new file mode 100644 index 000000000..1b9c66c7f --- /dev/null +++ b/extra/unison/unison-ssh-ocaml.patch @@ -0,0 +1,25 @@ +Index: src/terminal.ml +=================================================================== +--- src/terminal.ml (révision 463) ++++ src/terminal.ml (copie de travail) +@@ -191,7 +191,6 @@ + exit 127 + end + | childPid -> +- Unix.close slaveFd; + (Some masterFd, childPid) + end + +Index: src/update.mli +=================================================================== +--- src/update.mli (révision 463) ++++ src/update.mli (copie de travail) +@@ -1,7 +1,7 @@ + (* Unison file synchronizer: src/update.mli *) + (* Copyright 1999-2009, Benjamin C. Pierce (see COPYING for details) *) + +-module NameMap : Map.S with type key = Name.t ++module NameMap : MyMap.S with type key = Name.t + + type archive = + ArchiveDir of Props.t * archive NameMap.t diff --git a/extra/unison/unison.desktop b/extra/unison/unison.desktop new file mode 100644 index 000000000..3a7e1d762 --- /dev/null +++ b/extra/unison/unison.desktop @@ -0,0 +1,13 @@ +[Desktop Entry] +Encoding=UTF-8 +Name=unison +Name[de]=unison +Comment=File synchronisation tool for X11 +Comment[de]=Datei Abgleicher und Synchronisierer +TryExec=unison-x11 +Exec=unison-x11 +Terminal=false +Type=Application +Categories=GTK;Application;Network; +Icon=unison.png +StartupNotify=true diff --git a/extra/unison/unison.install b/extra/unison/unison.install new file mode 100644 index 000000000..a3790ab7d --- /dev/null +++ b/extra/unison/unison.install @@ -0,0 +1,28 @@ +# arg 1: the new package version +post_install() { + echo "NOTE:" + echo " For gtk1 frontend please add 'gtk' package." + echo " For gtk2 frontend please add 'gtk2' package." + echo " Default X11 frontend is set to gtk2. " + echo "" + echo " If you want to default to gtk1 unison:" + echo " 'rm /usr/bin/unison-x11'" + echo " 'ln -s /usr/bin/unison-gtk /usr/bin/unison-x11'" + echo "" +} + +# arg 1: the new package version +# arg 2: the old package version +post_upgrade() { + post_install $1 +} + +# arg 1: the old package version +pre_remove() { + /bin/true +} + +# arg 1: the old package version +post_remove() { + /bin/true +} |