From 957005935457bbe96b8dd6cf7bede8215e4fd64e Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Fri, 19 Sep 2025 21:25:11 +0200 Subject: [PATCH] gnu: Remove pure. * gnu/packages/pure.scm (pure): Delete variable. Change-Id: Id6cc15587de7aa48f239a7049117000495fb0b50 --- gnu/packages/pure.scm | 37 ------------------------------------- 1 file changed, 37 deletions(-) diff --git a/gnu/packages/pure.scm b/gnu/packages/pure.scm index b23a70bcf40743f9b6eca7e43c11c7641ea45b48..830bfee71b33721d92325834f0b9801edd12255c 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+)))