diff options
| author | haawda | 2021-03-06 12:50:26 +0100 |
|---|---|---|
| committer | haawda | 2021-03-06 12:50:26 +0100 |
| commit | d1d0fff41ef07d6fb57f11b2155dedbe33882c05 (patch) | |
| tree | c077b2521fb372c50194ed997b12c191966fda5f | |
| parent | 1750b3edd5a4c9019358d2e591cc27dbbc04afbd (diff) | |
| download | aur-d1d0fff41ef07d6fb57f11b2155dedbe33882c05.tar.gz | |
prefer guile over chez scheme for building
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 20 | ||||
| -rw-r--r-- | prefer_guile.patch | 30 |
3 files changed, 46 insertions, 8 deletions
@@ -1,6 +1,6 @@ pkgbase = minlog-git pkgdesc = Interactive proof system based on first order natural deduction calculus. - pkgver = 195.ff5c8ef + pkgver = r610.4a9a1e4 pkgrel = 2 url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php arch = any @@ -10,7 +10,9 @@ pkgbase = minlog-git depends = bash options = !makeflags source = git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git + source = prefer_guile.patch md5sums = SKIP + md5sums = 3066aa2dccf688b26d1c70ae8ebc3a7d pkgname = minlog-git @@ -1,6 +1,7 @@ # Maintainer: Stefan Husmann <stefan-husmann@t-online.de> + pkgname=minlog-git -pkgver=195.ff5c8ef +pkgver=r610.4a9a1e4 pkgrel=2 pkgdesc="Interactive proof system based on first order natural deduction calculus." arch=('any') @@ -10,14 +11,19 @@ license=('GPL') # in that order. I build with guile, because it is a dep of make and anyone has it depends=('bash') makedepends=('texlive-core' 'git') -options=(!makeflags) - -source=("git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git") -md5sums=('SKIP') +options=('!makeflags') +source=("git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git" prefer_guile.patch) +md5sums=('SKIP' + '3066aa2dccf688b26d1c70ae8ebc3a7d') pkgver() { - cd ${pkgname%-git} -printf "%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" + cd ${pkgname%-git} + printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" +} + +prepare() { + cd ${pkgname%-git} + git apply "$srcdir"/prefer_guile.patch } build() { diff --git a/prefer_guile.patch b/prefer_guile.patch new file mode 100644 index 000000000000..0c6e4c5ab800 --- /dev/null +++ b/prefer_guile.patch @@ -0,0 +1,30 @@ +diff --git a/src/Makefile b/src/Makefile +index 5d39188..369831d 100644 +--- a/src/Makefile ++++ b/src/Makefile +@@ -19,9 +19,9 @@ clean: + + minitab.scm: grammar.scm lalr.scm + rm -f minitab.scm +- if which scheme > /dev/null; then \ +- echo "Using Chez Scheme to build parser..."; \ +- scheme grammar.scm > grammar.log; \ ++ if which guile > /dev/null; then \ ++ echo "Using Guile to build parser..."; \ ++ guile grammar.scm > grammar.log; \ + elif which petite > /dev/null; then \ + echo "Using petite to build parser..."; \ + petite grammar.scm > grammar.log; \ +@@ -39,9 +39,9 @@ minitab.scm: grammar.scm lalr.scm + echo "Using mzscheme (< v4) to build parser..."; \ + mzscheme -f grammar.scm > grammar.log; \ + fi; \ +- elif which guile > /dev/null; then \ +- echo "Using guile to build parser..."; \ +- guile grammar.scm > grammar.log; \ ++ elif which scheme > /dev/null; then \ ++ echo "Using Chez Scheme to build parser..."; \ ++ scheme grammar.scm > grammar.log; \ + else \ + echo "Please install either Chez Scheme, Petite Scheme, Racket, MzScheme, or Guile to build the parser!"; \ + false; \ |