diff options
| -rw-r--r-- | gnu/packages/pure.scm | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/gnu/packages/pure.scm b/gnu/packages/pure.scm index b23a70bcf4..830bfee71b 100644 --- a/gnu/packages/pure.scm +++ b/gnu/packages/pure.scm @@ -28,40 +28,3 @@ #:use-module (gnu packages) #:use-module (gnu packages llvm) #:use-module (gnu packages multiprecision)) - -(define-public pure - (package - (name "pure") - (version "0.68") - (source - (origin - (method url-fetch) - (uri (string-append "https://github.com/agraef/pure-lang/releases/" - "download/pure-" version "/" - "pure-" version ".tar.gz")) - (sha256 - (base32 - "0px6x5ivcdbbp2pz5n1r1cwg1syadklhjw8piqhl63n91i4r7iyb")))) - (build-system gnu-build-system) - (arguments - `(#:make-flags (list (string-append "LDFLAGS=-Wl,-rpath=" - (assoc-ref %outputs "out") - "/lib")) - #:phases - (modify-phases %standard-phases - (add-after 'unpack 'patch-llvm-lookup - (lambda _ - (substitute* "configure" - (("-lLLVM-[$][{]llvm_version[}]") - "`$LLVMCONF --libs`")) - #t))))) - (inputs - (list gmp llvm-3.5 mpfr)) - (home-page "https://agraef.github.io/pure-lang/") - (synopsis "Programming Language") - (description "@code{pure} is a programming language based on term -rewriting. It offers equational definitions with pattern matching, -full symbolic rewriting capabilities, dynamic typing, eager and lazy -evaluation, lexical closures, built-in list and matrix support and -a C interface.") - (license license:gpl3+))) |