From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 22 07:04:03 2017 Received: (at submit) by debbugs.gnu.org; 22 Sep 2017 11:04:03 +0000 Received: from localhost ([127.0.0.1]:52302 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dvLkY-0002zO-Up for submit@debbugs.gnu.org; Fri, 22 Sep 2017 07:04:03 -0400 Received: from eggs.gnu.org ([208.118.235.92]:43723) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dvLkW-0002yt-Uw for submit@debbugs.gnu.org; Fri, 22 Sep 2017 07:04:01 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dvLkN-0006tF-QE for submit@debbugs.gnu.org; Fri, 22 Sep 2017 07:03:55 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_05,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:44810) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1dvLkN-0006tB-Mt for submit@debbugs.gnu.org; Fri, 22 Sep 2017 07:03:51 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:34687) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dvLkM-0006vI-BE for guix-patches@gnu.org; Fri, 22 Sep 2017 07:03:51 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dvLkI-0006rB-C5 for guix-patches@gnu.org; Fri, 22 Sep 2017 07:03:50 -0400 Received: from sender-of-o51.zoho.com ([135.84.80.216]:21006) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1dvLkI-0006qa-3w for guix-patches@gnu.org; Fri, 22 Sep 2017 07:03:46 -0400 Received: from localhost (141.80.247.1 [141.80.247.1]) by mx.zohomail.com with SMTPS id 1506078212147318.05327798957285; Fri, 22 Sep 2017 04:03:32 -0700 (PDT) From: Ricardo Wurmus To: guix-patches@gnu.org Subject: [PATCH] gnu: Add cl-yale-haskell. Date: Fri, 22 Sep 2017 13:03:26 +0200 Message-Id: <20170922110326.21325-1-rekado@elephly.net> X-Mailer: git-send-email 2.14.1 X-ZohoMailClient: External X-ZohoMail: Z_26063301 SPT_1 Z_26062608 SPT_0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit Cc: Ricardo Wurmus X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) * gnu/packages/haskell.scm (cl-yale-haskell): New variable. --- gnu/packages/haskell.scm | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 4f9e90e55..7e879f4ad 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -36,6 +36,7 @@ #:use-module (gnu packages ghostscript) #:use-module (gnu packages gl) #:use-module (gnu packages libffi) + #:use-module (gnu packages lisp) #:use-module (gnu packages lua) #:use-module (gnu packages maths) #:use-module (gnu packages multiprecision) @@ -56,6 +57,45 @@ #:use-module (guix utils) #:use-module (ice-9 regex)) +(define-public cl-yale-haskell + (let ((commit "85f94c72a16c5f70301dd8db04cde9de2d7dd270") + (revision "1")) + (package + (name "cl-yale-haskell") + (version (string-append "2.0.5-" revision "." (string-take commit 9))) + (source (origin + (method git-fetch) + (uri (git-reference + (url "http://git.elephly.net/software/yale-haskell.git") + (commit commit))) + (file-name (string-append "yale-haskell-" commit "-checkout")) + (sha256 + (base32 + "0bal3m6ryrjamz5p93bhs9rp5msk8k7lpcqr44wd7xs9b9k8w74g")))) + (build-system gnu-build-system) + (arguments + `(#:tests? #f ; no tests + ;; Stripping binaries leads to a broken executable lisp system image. + #:strip-binaries? #f + #:make-flags + (list (string-append "PREFIX=" (assoc-ref %outputs "out"))) + #:phases + (modify-phases %standard-phases + (replace 'configure + (lambda _ + (setenv "PRELUDE" "./progs/prelude") + (setenv "HASKELL_LIBRARY" "./progs/lib") + (setenv "PRELUDEBIN" "./progs/prelude/clisp") + (setenv "HASKELLPROG" "./bin/clisp-haskell") + #t))))) + (inputs + `(("clisp" ,clisp))) + (home-page "http://git.elephly.net/software/yale-haskell.git") + (synopsis "Port of the Yale Haskell system to CLISP") + (description "This package provides the Yale Haskell system running on +top of CLISP.") + (license license:bsd-4)))) + (define ghc-bootstrap-x86_64-7.8.4 (origin (method url-fetch) -- 2.14.1 From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 23 11:42:12 2017 Received: (at 28547) by debbugs.gnu.org; 23 Sep 2017 15:42:12 +0000 Received: from localhost ([127.0.0.1]:54756 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dvmZI-0006Tp-GC for submit@debbugs.gnu.org; Sat, 23 Sep 2017 11:42:12 -0400 Received: from eggs.gnu.org ([208.118.235.92]:47248) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dvmZH-0006TX-Ie for 28547@debbugs.gnu.org; Sat, 23 Sep 2017 11:42:11 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dvmZB-0006wt-J5 for 28547@debbugs.gnu.org; Sat, 23 Sep 2017 11:42:06 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:37784) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dvmZB-0006wm-FQ; Sat, 23 Sep 2017 11:42:05 -0400 Received: from [2a01:e0a:1d:7270:6a6c:dc17:fc02:cfda] (port=57652 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1dvmZB-0001uc-42; Sat, 23 Sep 2017 11:42:05 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Ricardo Wurmus Subject: Re: [bug#28547] [PATCH] gnu: Add cl-yale-haskell. References: <20170922110326.21325-1-rekado@elephly.net> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 2 =?utf-8?Q?Vend=C3=A9miaire?= an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Sat, 23 Sep 2017 17:42:03 +0200 In-Reply-To: <20170922110326.21325-1-rekado@elephly.net> (Ricardo Wurmus's message of "Fri, 22 Sep 2017 13:03:26 +0200") Message-ID: <87shfd2zhw.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 28547 Cc: 28547@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Ricardo Wurmus skribis: > * gnu/packages/haskell.scm (cl-yale-haskell): New variable. LGTM! > + (home-page "http://git.elephly.net/software/yale-haskell.git") > + (synopsis "Port of the Yale Haskell system to CLISP") > + (description "This package provides the Yale Haskell system runnin= g on > +top of CLISP.") Crazy stuff! :-) Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 24 02:50:53 2017 Received: (at 28547-done) by debbugs.gnu.org; 24 Sep 2017 06:50:54 +0000 Received: from localhost ([127.0.0.1]:55112 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dw0kf-00052b-OI for submit@debbugs.gnu.org; Sun, 24 Sep 2017 02:50:53 -0400 Received: from sender-of-o51.zoho.com ([135.84.80.216]:21077) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dw0kd-00052S-8E for 28547-done@debbugs.gnu.org; Sun, 24 Sep 2017 02:50:51 -0400 Received: from localhost (port-92-200-80-212.dynamic.qsc.de [92.200.80.212]) by mx.zohomail.com with SMTPS id 1506235814184925.7994627722014; Sat, 23 Sep 2017 23:50:14 -0700 (PDT) References: <20170922110326.21325-1-rekado@elephly.net> <87shfd2zhw.fsf@gnu.org> User-agent: mu4e 0.9.18; emacs 25.3.1 From: Ricardo Wurmus To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: [bug#28547] [PATCH] gnu: Add cl-yale-haskell. In-reply-to: <87shfd2zhw.fsf@gnu.org> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Sun, 24 Sep 2017 08:50:11 +0200 Message-ID: <87k20ozj30.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-ZohoMailClient: External X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 28547-done Cc: 28547-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Ludovic Courtès writes: > Ricardo Wurmus skribis: > >> * gnu/packages/haskell.scm (cl-yale-haskell): New variable. > > LGTM! Thanks. Pushed to master with 95e654ae63af574f88d81f96d2efa714e3fc38b6. >> + (home-page "http://git.elephly.net/software/yale-haskell.git") >> + (synopsis "Port of the Yale Haskell system to CLISP") >> + (description "This package provides the Yale Haskell system running on >> +top of CLISP.") > > Crazy stuff! :-) Don’t worry, this is not for the new Haskell bootstrap :) -- Ricardo GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC https://elephly.net From unknown Sun Jun 22 07:49:41 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 22 Oct 2017 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator