From patchwork Tue Apr 9 13:13:29 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Ricardo Wurmus X-Patchwork-Id: 3256 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id AA31216DD9; Tue, 9 Apr 2019 14:22:04 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_DKIM_INVALID, URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 419D616DA6 for ; Tue, 9 Apr 2019 14:22:04 +0100 (BST) Received: from localhost ([127.0.0.1]:41760 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hDqhP-0000n4-R5 for patchwork@mira.cbaines.net; Tue, 09 Apr 2019 09:22:03 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59777) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hDqfV-0007zX-OQ for guix-patches@gnu.org; Tue, 09 Apr 2019 09:20:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hDqfU-0000cR-L0 for guix-patches@gnu.org; Tue, 09 Apr 2019 09:20:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:37216) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hDqfT-0000bM-CF for guix-patches@gnu.org; Tue, 09 Apr 2019 09:20:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hDqfS-00010Q-SA for guix-patches@gnu.org; Tue, 09 Apr 2019 09:20:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#35207] [PATCH 2/3] gnu: Add ocaml4.02-gsl. Resent-From: Ricardo Wurmus Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Apr 2019 13:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 35207 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 35207@debbugs.gnu.org Received: via spool by 35207-submit@debbugs.gnu.org id=B35207.15548160003846 (code B ref 35207); Tue, 09 Apr 2019 13:20:02 +0000 Received: (at 35207) by debbugs.gnu.org; 9 Apr 2019 13:20:00 +0000 Received: from localhost ([127.0.0.1]:50757 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hDqfP-0000zw-VY for submit@debbugs.gnu.org; Tue, 09 Apr 2019 09:20:00 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21354) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hDqfM-0000za-I4 for 35207@debbugs.gnu.org; Tue, 09 Apr 2019 09:19:56 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1554815983; cv=none; d=zoho.com; s=zohoarc; b=I0rHXCpOzazEYO3Jvc6uoivsDNOIc6Wl7nVA68Urwk+O+EUCHBcGmxyuy68yf3h527CPzuuzNHukyAfK7vzOkEieBVthYzG08Wh6Ho1OOEA+9wzCh84MLaLP/WDSi8epmlhgKHv0X1906yQ2XciTv6DsCKC3Nkkexz3jc8OVFXQ= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1554815983; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=l6du7TjnpLCq+v9VGS/+1J9U/K6G+3I/Dpi1NLVLMfA=; b=IV5uBOlHkB7+uYhO5mIzVwQT6XSDusLyuauw8jGc8d0C33PTQjXXxqNepoE5Jec1/sf9i3ffp0GJ9DKxq93H2iRtRNwWZvN1gRevtpTnT4+pfZ4rCfqyl/4XBxRdUA4heYABQflPqrUKPwicJBGf1yUZJwZR/QKhSYfTkGEY/k8= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1554815983; s=zoho; d=elephly.net; i=rekado@elephly.net; h=From:To:Cc:Message-ID:Subject:Date:In-Reply-To:References:MIME-Version:Content-Transfer-Encoding:Content-Type; l=1136; bh=l6du7TjnpLCq+v9VGS/+1J9U/K6G+3I/Dpi1NLVLMfA=; b=KFe9RBPfgxxu82/w41A0lLkZwPlRv08QUT2sbVlm32QRdsJqbiMmFP4S6K2jLh0r 6S1/2BQAWkeVaLJx8iYOdt91deAqh1+w7XIOStyL7Eho26oBbhuVICPoC7pocw9i08P zuAX/WOXw1ZEkTAYcC64zvjz9gKda/ALw4c2xSog= Received: from localhost (141.80.247.154 [141.80.247.154]) by mx.zohomail.com with SMTPS id 1554815981724704.8984858955747; Tue, 9 Apr 2019 06:19:41 -0700 (PDT) From: Ricardo Wurmus Message-ID: <20190409131330.12089-2-rekado@elephly.net> Date: Tue, 9 Apr 2019 15:13:29 +0200 X-Mailer: git-send-email 2.20.1 In-Reply-To: <20190409131330.12089-1-rekado@elephly.net> References: <20190409131330.12089-1-rekado@elephly.net> MIME-Version: 1.0 X-ZohoMailClient: External X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/ocaml.scm (ocaml4.02-gsl): New variable. --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7bebf3921b..bf5d39db6c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4824,6 +4824,28 @@ Atom.") the OCaml language.") (license license:gpl3+))) +;; This is the last version that can be built with without ocaml-base, which +;; cannot be built with OCaml 4.02. +(define-public ocaml4.02-gsl + (package + (inherit (package-with-ocaml4.02 ocaml-gsl)) + (version "1.19.3") + (source (origin + (method url-fetch) + (uri (string-append "https://github.com/mmottl/gsl-ocaml" + "/releases/download/v" + version "/gsl-ocaml-" version ".tar.gz")) + (sha256 + (base32 + "0nzp43hp8pbjqkrxnwp5lgjrabxayf61h18fjaydi0s5faq6f3xh")))) + (build-system ocaml-build-system) + (inputs + `(("gsl" ,gsl))) + (arguments + `(#:ocaml ,ocaml-4.02 + #:findlib ,ocaml4.02-findlib)) + (propagated-inputs '()))) + (define-public cubicle (package (name "cubicle")