gnu: Remove pure.

* gnu/packages/pure.scm (pure): Delete variable.

Change-Id: Id6cc15587de7aa48f239a7049117000495fb0b50

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+)))