Package Details: pure 0.68-2

Git Clone URL: (read-only)
Package Base: pure
Description: Pure is a modern-style functional programming language based on term rewriting.
Upstream URL:
Licenses: GPL3, LGPL3
Groups: pure-complete, pure-base
Submitter: None
Maintainer: pure-aur
Last Packager: pure-aur
Votes: 19
Popularity: 0.150564
First Submitted: 2009-01-05 16:05
Last Updated: 2018-05-27 05:40

Latest Comments

aggraef commented on 2018-04-06 10:31

Binary packages are now available in the Pure package repo, cf.

Marte2007 commented on 2018-04-05 22:26

Thanks, it worked!

aggraef commented on 2018-04-05 21:03

I had to remove the compiler-rt part (which Pure doesn't need) and also modified the PKGBUILD so that it only builds the host target (which is all that Pure needs, and compilation is much quicker that way). Please pull the latest from and give that a whirl.

aggraef commented on 2018-04-05 18:17

Probably just a missing include, I'm currently looking into it.

Marte2007 commented on 2018-04-05 17:07

It failed after two hours of compiling...

/tmp/makepkg/llvm35/src/llvm-3.5.2.src/projects/compiler-rt/lib/asan/ error: use of undeclared identifier 'SIGSEGV'
  return signum == SIGSEGV && common_flags()->handle_segv;

aggraef commented on 2018-04-05 13:30

For the time being, I've uploaded the PKGBUILD here: Clone that repo and run makepkg -s to build the packages. I'll make a binary package repository for these available some time in the near future.

aggraef commented on 2018-04-05 12:59

Hmm, those used to be in extra. I'll have to go hunting for the last PKGBUILDs and repackage them for the AUR.

Marte2007 commented on 2018-04-05 12:32

llvm35 is not available on AUR anymore.

aggraef commented on 2016-12-08 07:49

rcrath, that's right, Pure still depends on LLVM 3.5 right now. But note that the llvm35 package is only required at build time, so you can simply reinstall the llvm package after building Pure if you need it.

rcrath commented on 2016-12-08 04:01

gave error

error: unresolvable package conflicts detected
error: failed to prepare transaction (conflicting dependencies)
:: llvm35 and llvm are in conflict

fortunately, nothing else requires llvm at present, so uninstalling llvm solved it.

asppsa commented on 2015-05-05 15:59

Hi there,

Pure should compile again now. I've made it depend on the new llvm35 package.

aggraef commented on 2015-04-27 17:51

Yeah, porting Pure over to MCJIT will be quite some work, I'm afraid, and unfortunately I'm busy with other things right now.

appsa, maybe we could grab the LLVM 3.5 PKGBUILD somewhere and provide that version on the AUR as a stopgap measure?

asppsa commented on 2015-04-26 23:10

Unfortunately Pure will not compile on LLVM 3.6 at present. I believe this is because Pure does not yet use MCJIT. See

FreeFull commented on 2015-04-24 03:29

Arch now comes with LLVM 3.6.0

asppsa commented on 2015-02-20 00:16

Ok I've made it depend on 'llvm<=3.5.99' -- hopefully this is robust enough!

Sorry for the delay in getting this sorted for you.

anks commented on 2015-02-19 14:21

Bumping last comment.

omo commented on 2015-01-30 21:17

Same thing as reported by luisrayas3 (see 2014-08-18 20:18).

This time with the package requires llvm 3.5.0 and current llvm in arch is 3.5.1. And further pure builds nicely with llvm 3.5.1 AFAICS.

luisrayas3 commented on 2014-08-18 20:18

pure seems to be working fine with the latest version of llvm (3.4.2) but the PKGBUILD requires <=3.4 which causes complaints during installation when your Arch system is up to date. If I just haven't hit the bug that actually does require a downgrade then change to use llvm34?

aggraef commented on 2013-09-17 07:02

Pure 0.58 is out. Could you please pull the latest PKGBUILD from Thanks.

aggraef commented on 2013-08-29 21:16

Cool, thanks! But the URL field still points to the same old and forgotten googlecode website, it should be:


aggraef commented on 2013-08-29 21:16

Cool, thanks! But the URL field still points to the same old and forgotten googlecode website, it should be:


g2oo7fy commented on 2013-08-29 18:34


aggraef commented on 2013-08-29 08:55

I know that this currently doesn't compile (will have to wait for the 0.58 release to fix that), but I'd already like to suggest the following changes to the pkgbuild:

- Use the --enable-release flag with configure. The interpreter runs substantially faster that way.

- Update the URL from googlecode to:

Anonymous comment on 2013-07-06 17:44

Ah, okay, that makes sense. I'll need to stick with 3.3 for the rest of my work, so I'll wait. Thanks, Bjoern!


g2oo7fy commented on 2013-07-05 22:45

Hi Rob,

to me it seems, that pure is not yet ready for llvm version 3.3. So if you can, downgrade to llvm 3.2 (not llvm32!).



Anonymous comment on 2013-07-05 20:22

Build is failing with the following error. I have llvm and llvm-libs installed, so not sure what's up here.


Pure 0.57 is now configured for LLVM 3.3 on x86_64-unknown-linux-gnu.

Source directory: .
Installation prefix: /usr
Versioned install: no
C compiler: gcc -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector --param=ssp-buffer-size=4 -D_FORTIFY_SOURCE=2
C++ compiler: g++ -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector --param=ssp-buffer-size=4 -D_FORTIFY_SOURCE=2
Linker: g++ -Wl,-O1,--sort-common,--as-needed,-z,relro -lm -lmpfr -lgmp
LLVM tool prefix:
Readline support: -lreadline
Build libpure: yes
fastcc/TCO support: yes

Now run 'make' to build everything, and 'make install' to install this
software on your system. To remove the installed software at a later
time use the 'make uninstall' command.

g++ -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector --param=ssp-buffer-size=4 -D_FORTIFY_SOURCE=2 -I/usr/include -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I. -I. -DPURELIB='"/usr/lib/pure"' -c -o pure.o
In file included from
interpreter.hh:22:31: fatal error: llvm/DerivedTypes.h: No such file or directory
#include <llvm/DerivedTypes.h>
compilation terminated.
make: *** [pure.o] Error 1
==> ERROR: A failure occurred in build().

g2oo7fy commented on 2012-02-28 15:21

Here is a PKGBUILD for Version 0.51:

Please update!

asppsa commented on 2011-12-18 01:07

I've updated your PKGBUILD so that it works with 0.49, here:
All I had to do was change the version number and the SHA1.

Anonymous comment on 2011-04-02 00:22

@jeffebeu Updated the sha hash. Thanks.

Anonymous comment on 2011-04-02 00:14

The md5sums checksum appears to be incorrect inside PKGBUILD.
I edited the file and changed md5sums to sha1sums=('f47915ffa9fd0c7dee40f364a5751bfd4f945bf1').
The SHA1 checksum was just copied from the

Anonymous comment on 2011-03-31 16:46

Updated to Pure 0.47