You are not logged in.

#1 2014-08-14 05:03:42

luisrayas3
Member
Registered: 2014-06-05
Posts: 8

[Solved]pacman doesn't like '<=' in depends for pure package

Trying to install the pure programming language package available here.

$ makepkg -s
==> Making package: pure 0.60-1 (Tue Aug 12 19:22:57 EDT 2014)
==> Checking runtime dependencies...
==> Installing missing dependencies...
error: target not found: llvm<=3.4
==> ERROR: 'pacman' failed to install missing dependencies.

PKGBUILD file:

# -*- shell-script -*-                                                                                                                                                                                                                                                                                                         
# Contributor: Mikko Sysikaski  mikko.sysikaski at gmail dot com                                                                                                                                                                                                                                                               
# Updated by Stephen Diehl - sdiehl@clarku.edu                                                                                                                                                                                                                                                                                 
# Maintainer: Alastair Pharo  asppsa at gmail dot com                                                                                                                                                                                                                                                                          
# Maintainer: Albert Graef <aggraef@gmail.com>                                                                                                                                                                                                                                                                                 

pkgname=pure
pkgver=0.60
pkgrel=1
pkgdesc="Pure is a modern-style functional programming language based on term rewriting."
arch=("i686" "x86_64")
license=('GPL3')
url="http://purelang.bitbucket.org/"
depends=('llvm<=3.4' 'gmp' 'mpfr' 'readline')
makedepends=('make' 'gcc')
optdepends=("pure-docs: online documentation"
            "w3m: access to help in interactive mode"
            "emacs-pure-mode: editing Pure files from Emacs"
            "texmacs-pure: embedding Pure sessions in TeXmacs")
groups=(pure-complete pure-base)
source=("https://bitbucket.org/purelang/pure-lang/downloads/$pkgname-$pkgver.tar.gz"
        "https://bitbucket.org/purelang/pure-lang/downloads/llvm-3.3-tools.tar.bz2")
md5sums=('4bbd7cf05ce913814f02675c58aeaa23'
         '0a3c4154e7d20f1d078d994ec47be1b7')

build() {
  cd $srcdir/$pkgname-$pkgver
  ./configure --prefix=/usr --without-elisp --without-texmacs --enable-release
  make || return 1
  # check that the interpreter is working                                                                                                                                                                                                                                                                                      
  make check || return 1
}

package() {
  cd $srcdir/$pkgname-$pkgver
  make DESTDIR=$pkgdir install || return 1
  # llc in LLVM 3.4 is broken; these will work with both LLVM 3.3 and 3.4                                                                                                                                                                                                                                                      
  cd $srcdir/llvm-3.3-tools/$CARCH
  cp llc opt $pkgdir/usr/lib/pure || return 1
}

I have installed for now by simply removing the

<=3.4

requirement but only out of frustration. I'm at a loss as to why pacman would be complaining, I see the bit about 'LLVM 3.4 is broken' but for one, 3.4 is already installed from [extra] and for two, 3.3 ought to meet the criteria. All help/explanation appreciated.

Last edited by luisrayas3 (2014-08-18 20:06:03)

Offline

#2 2014-08-14 05:09:22

rwzy
Member
Registered: 2014-08-14
Posts: 5

Re: [Solved]pacman doesn't like '<=' in depends for pure package

I don't understand, isn't it simply because the current llvm version is 3.4.2, which isn't less than or equal to 3.4?


time is all we are

Offline

#3 2014-08-14 15:20:23

luisrayas3
Member
Registered: 2014-06-05
Posts: 8

Re: [Solved]pacman doesn't like '<=' in depends for pure package

isn't it?? I would consider 3.4.2 == 3.4 from a versioning perspective and therefore also 3.4.2 <= 3.4

edit: also worth noting that it does work anyhow with 3.4.2

Last edited by luisrayas3 (2014-08-14 15:20:52)

Offline

#4 2014-08-15 00:30:54

karol
Archivist
Registered: 2009-05-06
Posts: 25,440

Re: [Solved]pacman doesn't like '<=' in depends for pure package

IMHO 3.4 == 3.4.0, so '3.4.2 <= 3.4.0' is false.
The PKGBUILD works if you change it to '>=' - is that what you mean by "it does work anyhow with 3.4.2"?

Offline

#5 2014-08-15 02:59:12

Scimmia
Fellow
Registered: 2012-09-01
Posts: 13,729

Re: [Solved]pacman doesn't like '<=' in depends for pure package

luisrayas3 wrote:

isn't it?? I would consider 3.4.2 == 3.4 from a versioning perspective and therefore also 3.4.2 <= 3.4

edit: also worth noting that it does work anyhow with 3.4.2

Nope, doesn't work that way. Try it yourself.

% vercmp -h
usage: vercmp <ver1> <ver2>

output values:
  < 0 : if ver1 < ver2
    0 : if ver1 == ver2
  > 0 : if ver1 > ver2

% vercmp 3.4.2 3.4
1

Offline

#6 2014-08-16 15:08:34

luisrayas3
Member
Registered: 2014-06-05
Posts: 8

Re: [Solved]pacman doesn't like '<=' in depends for pure package

Scimmia wrote:

Nope, doesn't work that way. Try it yourself.

% vercmp -h
usage: vercmp <ver1> <ver2>

output values:
  < 0 : if ver1 < ver2
    0 : if ver1 == ver2
  > 0 : if ver1 > ver2

% vercmp 3.4.2 3.4
1

Whoa, good tool to know. I meant that with 3.4.2 installed the pure package works. Thanks for the help! I guess this is one for the maintainer then?

Offline

#7 2014-08-17 07:19:57

rwzy
Member
Registered: 2014-08-14
Posts: 5

Re: [Solved]pacman doesn't like '<=' in depends for pure package

luisrayas3 wrote:

Whoa, good tool to know. I meant that with 3.4.2 installed the pure package works. Thanks for the help! I guess this is one for the maintainer then?

Yes, maybe you could also leave a comment on the aur page.


time is all we are

Offline

Board footer

Powered by FluxBB