From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 06:06:51 2018 Received: (at submit) by debbugs.gnu.org; 13 Jan 2018 11:06:52 +0000 Received: from localhost ([127.0.0.1]:54375 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJeE-00086F-Ep for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:06:50 -0500 Received: from eggs.gnu.org ([208.118.235.92]:39539) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJeC-000861-Ci for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:06:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaJe6-00065J-80 for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:06:43 -0500 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,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55212) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaJe6-000654-5X for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:06:42 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58737) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaJe5-0006Yf-8B for guix-patches@gnu.org; Sat, 13 Jan 2018 06:06:41 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaJe4-00063d-Ld for guix-patches@gnu.org; Sat, 13 Jan 2018 06:06:41 -0500 Received: from mail-io0-x244.google.com ([2607:f8b0:4001:c06::244]:44486) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eaJe4-00062u-Fs for guix-patches@gnu.org; Sat, 13 Jan 2018 06:06:40 -0500 Received: by mail-io0-x244.google.com with SMTP id k18so8492520ioc.11 for ; Sat, 13 Jan 2018 03:06:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=X4Xci3KtwpRXu1YcqM9oHtepwVAMosfNbBET2a9jPxY=; b=IlXOa4EOMAgq+nbj3Bc1cbuPkMlpYj3adbiGkFoSfVLw+ogpT+TWSNgFf8AP7mA+zU 9SLWx2NDyKYwM78Lyp+heaxhLM6DOySqZgdYdy6jDBapTpX9r7OMl+AGIT2/fiw65NOn R82TuwHOiqaDbqn+lmm9aBrMlZu+fujW+tly6Hz1avOnsPMvQYoc+4fNfCOEJvQOr4ZW o21zykLxkahRHLfpFZt/KSyxbi4FYiSpnuEwTU7eukWQ+dhY2WtnBGAK6Zzbz3Jeuvaq tnKmGy0gUqiXWzFVz1zDHzDuLkSWszvGn0tXzjVUVieCjWuhHYHogtlekZF90JKL/tHK nieQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=X4Xci3KtwpRXu1YcqM9oHtepwVAMosfNbBET2a9jPxY=; b=Bq3BjTEhOUzqENsnhQSJ97RB9FAu4dEVYotbDwj/YMbktiwPr/A31cGcVEUg8RLlvg 12wPY+lsl3C1ANBnMSlDkgFtbUPIinVVQU7P53n6hwi7A+OCfN7vcHX0Ebv7mv/PBeaz vIykY12uNp3ldkB0OeQniYvja0EKj4AM9YDputdtq3xFrL3Esn7Lnurk4uN0BuBGVqJO kGzCwMNZyqgayBsEB7zQ6tXXTYXkY3eHAJK04Mhhrnk0pydhoH42cWBw/vOeDxl9xSUM a0HbcM2R7+VKEMqF83XP814S6AWjd89FoppB35OGvV1zgqpHL2ck9le+kUSlmutXHY9r cS8g== X-Gm-Message-State: AKGB3mIaB85hoTQcjzZDLdD1Gv/Tg38Qg7vxj4AnfM0zevbdi5jO6zDp oQly4ZxkLQi/+GkchBHtpJtqgg== X-Google-Smtp-Source: ACJfBotDR5bM3y1g0A3n+8n0GRmSaZqS4/ZWPOb3tligyRUCrbQ24szUDRLU/FBq86ibkkHMdl1TTg== X-Received: by 10.107.56.212 with SMTP id f203mr30097968ioa.267.1515841599563; Sat, 13 Jan 2018 03:06:39 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id g1sm3471052itg.10.2018.01.13.03.06.38 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 13 Jan 2018 03:06:39 -0800 (PST) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: guix-patches@gnu.org Subject: Update ocaml-findlib; Add ocaml-tsdl and dependencies Date: Sat, 13 Jan 2018 05:05:43 -0600 Message-ID: <87lgh2uigo.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. 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 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 (----) Hi, This patch series updates to ocaml-findlib to version 1.7.3, removes the ocaml-findlib-1.7.3 package, and adds the tsdl-ocaml package along with its dependencies. -- Peter Kreye From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 06:14:27 2018 Received: (at 30096) by debbugs.gnu.org; 13 Jan 2018 11:14:27 +0000 Received: from localhost ([127.0.0.1]:54388 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJlb-0008HU-06 for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:14:27 -0500 Received: from mail-it0-f43.google.com ([209.85.214.43]:36851) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJlZ-0008HG-21 for 30096@debbugs.gnu.org; Sat, 13 Jan 2018 06:14:25 -0500 Received: by mail-it0-f43.google.com with SMTP id p124so12140325ite.1 for <30096@debbugs.gnu.org>; Sat, 13 Jan 2018 03:14:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=xKQH/EAqJ1aP6yroTMzztkwAsO5lCRUQrvn38ZBvwsA=; b=gfWVzk0u6/NAXTzK454ngdCmBf4vEBncPYM/zjzm7DT7RjarCW9UD9sDTh+TPYO7fm B2rPdh7+QydbpkRa26dQD+5iDrCtuGJqSmu0a5UQtcgcWxbaD+ZgZJ301ABuuivWy4dt yT7kXxYMD6/ZT7jH7cPCaQ7fNJMfqTOigKXX/bmPIzlp4pPzaoZGFMQLk+OABrDRqR5O 5lMYNPYVq3xmXBV3c1Sr2HTypTMBcJT+PNd+09fsgwdA73NhLM0OmuBEv2KM/UBxICi+ BEAEFYB1jfe2Ez9f604W0S5iKdTmiHZ2tgdJ1+klb5IqxsRAHQd+EHPaFGiKY1JwNNPp i3Ow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=xKQH/EAqJ1aP6yroTMzztkwAsO5lCRUQrvn38ZBvwsA=; b=IWvLhtsyi9tCiX+7DniDyyBNSoysO+6hnN8GZhX3NUBC2VpLumivHsE9pM+Lxiy3c9 MsYVyqeSLJ7X6o768r4xX0YfSi0dMf2N+PI5G83cDfHa42qQQpzbeGc3H9zl6Pg9ysIZ lMl0isuNMySRgInAOniam5RTRGuH1TGMVhQn4Jl74wv5bY8QL7HdLYPK2hsxYUGg9bh0 H0rlR3P+SX+NicvFfqi4jgPeAFvVV7IDiOC5w/q41iZmTEkrLoQtkE22cwNKhv9Sg78Q vtsQc7gVP/KppnroYzd4vc+LiW0ccbQXeIhiGnIu8HA+d3cVSrZ4U2QRwoxCab111zUd d4eA== X-Gm-Message-State: AKwxytdDiZFuGicBx7169Rph6Rh4Q/iPp1d/ecadipUVFTVkJPU/VBvo 1RZ7KWyc6bQ1KfVP6eCaRj4BmQ== X-Google-Smtp-Source: ACJfBotqchv/Z3xUwiOK0EOwWfRsIZPegESTYJe1D3LuBTHio9OXQ1PgK9rV14Rka9KixjDvpgq6yg== X-Received: by 10.36.47.5 with SMTP id j5mr891325itj.123.1515842059209; Sat, 13 Jan 2018 03:14:19 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id c8sm3306612itg.15.2018.01.13.03.14.18 for <30096@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 13 Jan 2018 03:14:18 -0800 (PST) From: Peter Kreye To: 30096@debbugs.gnu.org Subject: [PATCH 1/6] gnu: ocaml-findlib-1.7.3: Fix install. Date: Sat, 13 Jan 2018 05:14:18 -0600 Message-ID: <87k1wmui2d.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30096 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: -0.0 (/) User-agent: mu4e 0.9.18; emacs 25.3.1 * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): install topfind to lib/ocaml/site/lib --- gnu/packages/ocaml.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index eab84c698..e70316cd7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -918,7 +918,7 @@ compilers that can directly deal with packages.") (let ((out (assoc-ref outputs "out"))) (zero? (system* "make" "install" (string-append "OCAML_CORE_STDLIB=" - out)))))))))))) + out "/lib/ocaml/site-lib")))))))))))) (define-public ocaml4.01-findlib (package -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 06:15:04 2018 Received: (at 30096) by debbugs.gnu.org; 13 Jan 2018 11:15:04 +0000 Received: from localhost ([127.0.0.1]:54392 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJmC-0008J0-86 for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:15:04 -0500 Received: from mail-io0-f172.google.com ([209.85.223.172]:34564) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJmA-0008I8-DC for 30096@debbugs.gnu.org; Sat, 13 Jan 2018 06:15:02 -0500 Received: by mail-io0-f172.google.com with SMTP id c17so8546071iod.1 for <30096@debbugs.gnu.org>; Sat, 13 Jan 2018 03:15:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=6ta7zJ/KyUjSm1xP1FfH/4BCr8lkbvYgBwjL2L/nvWE=; b=ibe3ovcjpy/5YA2q8/fAB9b/Vn8pkivc7Slhi+ifMMNprFfsBqugUkWsZ2ARCUPi0V v/GETEJSYA9hEIlyGknyNxkFpGfPCCjj+nVS3+CLyifAMvbP1xFNI0oCQgcuYB9v6T5x PVnMYQeM12g4/0ebPJV5xwWqWQxVyageh1LsqbTLIgDh9XBVAOWkK+1/CYnyg/TQDcZC 5ULRBi/gYkwVwwksI39LnMyR3KFDMzabA1Fq9tZm9d32sAGg0ggfW4y9/3Y0xSI0KjWR r8ncxcSMCqmX4eHPp01xRQ6XzbTlFhASbHz0WioYPkXV5dIsJJ9itBXSMEddcMnko8A/ NwmA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=6ta7zJ/KyUjSm1xP1FfH/4BCr8lkbvYgBwjL2L/nvWE=; b=fAopto+9BHcJe1vbRjU8/PYz60uXD1DLKz/q5tDgxEstOkedT+uZ2/0RSpfcZ1U9/I KIP4JWU/8Zd/haSoQxbasOmsp9PEwwzG/gIvHW6Ibb1ec40yz1yYGrYiWQ74i0e5hTsL /EWjiSgaOryrwErr1R8snBKuC3hq0dmaUwJ1umFeln0U6lw4GKHGP4hTkflQNkXx3WXw 1y//6P5v8HIqoB14fEy1/4/F0ytWJ/0zsUNrxycP6mBwhdQ93xwmAdHBPYxzuJcWqgJ5 J8F7FEL9b/Fuq8i/axyQdMo4gH6ACA+yColsrvkDWr3slwmPS9yZgwZbuKsonFpV1sip bkSw== X-Gm-Message-State: AKGB3mJVpPfkPl0Muzu6ngCoDV7uhw3Padv4lpIYoRRcldY2Y3WpUFwR xNAHDMSqO9DzYxlKL4xT97G7rw== X-Google-Smtp-Source: ACJfBovPWk3J+w94795gIrEizHPpyIzPpWU1wjFUD7Ue8Z76pbTJv8EOns8U8NRhoyIw7y0bh/OwNQ== X-Received: by 10.107.160.196 with SMTP id j187mr29324992ioe.186.1515842096790; Sat, 13 Jan 2018 03:14:56 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id m63sm3199775itm.12.2018.01.13.03.14.56 for <30096@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 13 Jan 2018 03:14:56 -0800 (PST) From: Peter Kreye To: 30096@debbugs.gnu.org Subject: [PATCH 2/6] gnu: Add ocaml-integers. Date: Sat, 13 Jan 2018 05:14:55 -0600 Message-ID: <87inc6ui1c.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 30096 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: 0.0 (/) User-agent: mu4e 0.9.18; emacs 25.3.1 * gnu/packages/ocaml.scm (ocaml-integes): New variable. --- gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e70316cd7..61398d3f2 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3739,6 +3739,42 @@ terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more.") (license license:bsd-3))) +(define-public ocaml-integers + (package + (name "ocaml-integers") + (version "0.2.2") + (home-page "https://github.com/ocamllabs/ocaml-integers") + (source (origin + (method url-fetch) + (uri (string-append home-page + "/releases/download/v0.2.2/integers-" + version ".tbz")) + (file-name (string-append name "-" version ".tbz")) + (sha256 + (base32 + "08b1ljw88ny3l0mdq6xmffjk8anfc77igryva5jz1p6f4f746ywk")))) + (build-system ocaml-build-system) + (arguments + `(#:tests? #f + #:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key outputs #:allow-other-keys) + (let ((libdir (string-append + (assoc-ref %build-inputs "findlib") + "/lib/ocaml/site-lib"))) + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" "build")))))))) + (inputs + `(("findlib" ,ocaml-findlib-1.7.3) + ("topkg" ,ocaml-topkg) + ("opam", opam))) + (synopsis "Various signed and unsigned integer types for OCaml") + (description "The ocaml-integers library provides a number of 8-, 16-, 32- +and 64-bit signed and unsigned integer types, together with aliases such as +long and size_t whose sizes depend on the host platform.") + (license license:expat))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 06:24:26 2018 Received: (at 30096) by debbugs.gnu.org; 13 Jan 2018 11:24:26 +0000 Received: from localhost ([127.0.0.1]:54398 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJvG-00004r-8b for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:24:26 -0500 Received: from mail-it0-f41.google.com ([209.85.214.41]:33308) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJvE-0008WK-S7 for 30096@debbugs.gnu.org; Sat, 13 Jan 2018 06:24:25 -0500 Received: by mail-it0-f41.google.com with SMTP id c102so4090619itd.0 for <30096@debbugs.gnu.org>; Sat, 13 Jan 2018 03:24:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=9H9Dsavtg307gIb2ePx4LkcknsArns+QDBhG+X/4G+0=; b=ttervgSeg3XixV6a6Ck06xmIp39XCnDX2YXuRj3/VGT6tADLg6VpFnW1ID4rYjC885 iKb+ux0CZwxTN18qjO7HxEkZ7WFkBYrni7JelAdq090XbwMSUSb6cJZeYNCauHXyK5JU xMkFEmV7+FtHtBL/c06eUDmpfDTVkFGyBAmNZez1V5MGAXNSdH78Gq6VB0KJJLKfkQcm VvxyEFAJ18MAhxFYiKnM5ObecP093dkaCP9V7RFm0e6KjmDSBeyERanU+VSMXCTwpyL1 rHwmmOd15r7evyNqNlxf4qibH5pxBhYBiaSOC2bMthRJ1jAjcKzhlqZXjC3W1D7lKrK0 E3Uw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=9H9Dsavtg307gIb2ePx4LkcknsArns+QDBhG+X/4G+0=; b=J9FzOuKg2WA9sl1u2XrSgbRqWRSy6DnNAR51oy3QRYSF9c18tzznIHVVRegKLHytmy iAsBuoVPg3k6JAjRqcWfkJw1XAilvFNnLChk2M8aDnTF2/Ti3u1Jsoi+KqM0iYIPiiu+ RYowcRffCxpwywmo4pZVZ/PHWlvl2fkQmIhcse7UIZ7FBWignJhCWilm16ufpedTlP1C VrK866A/u1epSYSCz0QlszQZCk8I9CDiSMbHfUXzQFceA6KWMGimTyER180+6L8v3aw+ piEFl5AzHer+ir3diCZXmZF2SAoMYms+9/LXW7zWkK2kbqxgW0ZGQe/0IvnjZMIY7pvo bClQ== X-Gm-Message-State: AKwxyte8oc7fspW9chKU1g5KWvzLQxIeJW4b43J2cTiomc3NzTpc2GsE X3ak2FoQCTvPY+FyN5sEznJV7Q== X-Google-Smtp-Source: ACJfBovjvAEbtPcPnXMiq618KJefQe3xgDfmSnD8Yisq+nDF0yV8RRsKbc5ZRqqXsqBb6umEPvtZdA== X-Received: by 10.36.127.146 with SMTP id r140mr7195324itc.8.1515842659283; Sat, 13 Jan 2018 03:24:19 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id t84sm13706784iod.88.2018.01.13.03.24.18 for <30096@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 13 Jan 2018 03:24:19 -0800 (PST) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 30096@debbugs.gnu.org Subject: [PATCH 3/6] gnu: Add ocaml-ctypes. Date: Sat, 13 Jan 2018 05:24:18 -0600 Message-ID: <87fu7auhlp.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30096 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: -0.0 (/) * gnu/packages/ocaml.scm (ocaml-ctypes): New variable. --- gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 61398d3f2..40303c808 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -42,6 +42,7 @@ #:use-module (gnu packages gnome) #:use-module (gnu packages gtk) #:use-module (gnu packages libevent) + #:use-module (gnu packages libffi) #:use-module (gnu packages llvm) #:use-module (gnu packages m4) #:use-module (gnu packages multiprecision) @@ -3775,6 +3776,44 @@ and 64-bit signed and unsigned integer types, together with aliases such as long and size_t whose sizes depend on the host platform.") (license license:expat))) +(define-public ocaml-ctypes + (package + (name "ocaml-ctypes") + (version "0.13.1") + (home-page "https://github.com/ocamllabs/ocaml-ctypes") + (source (origin + (method url-fetch) + (uri (string-append home-page "/archive/" version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "17w0pr5k0zjcjns4y9n36rjpfl35zhvp3h8ggqs9lz12qhshdk2m")))) + (build-system ocaml-build-system) + (arguments + `(#:make-flags + (list (string-append "INSTALL_HEADERS = $(wildcard $($(PROJECT).dir)/*.h)")) + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (inputs + `(("pkg-config" ,pkg-config) + ("libffi" ,libffi) + ("ounit" ,ocaml-ounit) + ("integers" ,ocaml-integers) + ("findlib" ,ocaml-findlib-1.7.3) + ("lwt" ,ocaml-lwt) + ("topkg" ,ocaml-topkg) + ("opam", opam))) + (synopsis "Library for binding to C libraries using pure OCaml") + (description "ctypes is a library for binding to C libraries using pure +OCaml. The primary aim is to make writing C extensions as straightforward as +possible. The core of ctypes is a set of combinators for describing the +structure of C types -- numeric types, arrays, pointers, structs, unions and +functions. You can use these combinators to describe the types of the +functions that you want to call, then bind directly to those functions -- all +without writing or generating any C!") + (license license:expat))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 06:26:01 2018 Received: (at 30096) by debbugs.gnu.org; 13 Jan 2018 11:26:01 +0000 Received: from localhost ([127.0.0.1]:54403 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJwm-0000BH-US for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:26:01 -0500 Received: from mail-it0-f49.google.com ([209.85.214.49]:36413) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJwk-0000B4-Uq for 30096@debbugs.gnu.org; Sat, 13 Jan 2018 06:25:59 -0500 Received: by mail-it0-f49.google.com with SMTP id p124so12156942ite.1 for <30096@debbugs.gnu.org>; Sat, 13 Jan 2018 03:25:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=IcnQZ5YRlaC0gQ7UJ3CXfZCCsVX1ys4PkIsN7Mb9y0k=; b=vXQgBeP46KusMEYrQtsXdXey0UKr2UmUM2lyDVHJUCBXbIBP1AxeOTUvr8p3K4uhRp NwDIzzrFFhPkCnF/5kJQFqiB4ojdJCdLo3cMuZIAZqnXCHTRlyOkyvwdbBp8omovOOfr RFQa9wGyUdlwYTDK7zVVclDPDbn0ALjEcBoOthMrCSklKN+uXruDQDqfeLtA2XKRNkPF R+z/xvmKzbj8NSrUvCgOubvfcj5hAx00ppUqkIZvFox67/iVI7yGMI6sssEGKFNPJLK5 xcBKT/5BvYtFXQHk3CeLXdE+iFaC2LaoevnGKE5xXkmzG4ZIYrxJNU4+ZQ9z8LMYcOky hiDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=IcnQZ5YRlaC0gQ7UJ3CXfZCCsVX1ys4PkIsN7Mb9y0k=; b=oSowRuZYpN5HoGXYj5ghYfOP28gGS//EwUb/JpNSIsdHZ5t8hCvyDU4O6jS1sAv8O5 7dho6xodjgkhNzkQ3A4H+3tOve0LE/GVu649F+sEIEf21Dz58hGv6iehSVji8ugobArz FJ1yv3aIcYec9emGNv4L/TRZ1IUsdzSF+9+L9lsA2Y2spJjW8i8J/QdFzdllFODddRsR DJxSIveZ2oq3moiiokwaTqWdcTiK2V9WZe6LewklsGDqqty75yj5yOT/trYwGsJpNMa3 geJgT1KSp51d9VKAcakhh5kjMxGDoqz37UeAXdBe54QQq0IJlFyoP2vLt04hyt7RHicL MlmA== X-Gm-Message-State: AKwxytdWHYNAeOkgnyYSg93TVfBu/Zg2LzWH/xBePyX6cadPgKC1cgM5 WBRDXJcBT1Ib/sDRQ3+kiOh7Cg== X-Google-Smtp-Source: ACJfBosuurpo9PLUJsoN5cNaPI2vT4LzwuMkKUC8mt+J6ArMUImDp9hTBDbRZDQXN3dzC09eOTax/w== X-Received: by 10.36.245.2 with SMTP id k2mr8204415ith.35.1515842753461; Sat, 13 Jan 2018 03:25:53 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id t8sm2401552ite.2.2018.01.13.03.25.53 for <30096@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 13 Jan 2018 03:25:53 -0800 (PST) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 30096@debbugs.gnu.org Subject: [PATCH 4/6] gnu: Add ocaml-ocb-stubblr. Date: Sat, 13 Jan 2018 05:25:52 -0600 Message-ID: <87efmuuhj3.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30096 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: -0.0 (/) * gnu/packages/ocaml.scm (ocaml-ocb-stubblr): New variable. --- gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 40303c808..a60922c02 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3814,6 +3814,42 @@ functions that you want to call, then bind directly to those functions -- all without writing or generating any C!") (license license:expat))) +(define-public ocaml-ocb-stubblr + (package + (name "ocaml-ocb-stubblr") + (version "0.1.1") + (home-page "https://github.com/pqwy/ocb-stubblr") + (source (origin + (method url-fetch) + (uri (string-append + home-page "/releases/download/v0.1.1/ocb-stubblr-" + version ".tbz")) + (file-name (string-append name "-" version ".tbz")) + (sha256 + (base32 + "167b7x1j21mkviq8dbaa0nmk4rps2ilvzwx02igsc2706784z72f")))) + (build-system ocaml-build-system) + (arguments + `(#:tests? #f + #:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key outputs #:allow-other-keys) + (let ((libdir (string-append (assoc-ref %build-inputs "findlib") + "/lib/ocaml/site-lib"))) + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" "build")))))))) + (inputs + `(("findlib" ,ocaml-findlib-1.7.3) + ("topkg" ,ocaml-topkg) + ("astring" ,ocaml-astring) + ("opam", opam))) + (synopsis "OCamlbuild plugin for C stubs") + (description "Ocb-stubblr is about ten lines of code that you need to +repeat over, over, over and over again if you are using ocamlbuild to build +OCaml projects that contain C stubs.") + (license license:isc))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 06:26:45 2018 Received: (at 30096) by debbugs.gnu.org; 13 Jan 2018 11:26:45 +0000 Received: from localhost ([127.0.0.1]:54407 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJxV-0000Cc-9s for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:26:45 -0500 Received: from mail-io0-f196.google.com ([209.85.223.196]:41319) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJxT-0000CP-MY for 30096@debbugs.gnu.org; Sat, 13 Jan 2018 06:26:44 -0500 Received: by mail-io0-f196.google.com with SMTP id f6so8533154ioh.8 for <30096@debbugs.gnu.org>; Sat, 13 Jan 2018 03:26:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=+itEX0QPca0uScy6P2WWiIQATB6P1A36coINBt+8OL0=; b=Isoax1ZWfUVpgXh4TMQWRGLksrrEqLzjKy5Me20aPUp4dgUYItr1XJMd+F6PSgXF0C dG5f3A/U2ZsaLjzS6hKPQGV4oF5sLn+1ywrTLYG1VIXchhP5lCG1AY2JdPv8c68gfg6E h5bqM4nJC+VwYSt0ZFGRPNdi+hOY62jRRD4BV5olTz2Ox7b5MwMsGwc2Q5IAOcT6Gmpj 2c6QE0NlV71Pnzdh/m8/Xj0ZxTT24zyLz2Yw0aO4XcquAMdbITPsCHv8WmORzBHo10Ak x/xjgPH1JUljAb+JuOOkA1J63zmLELPfghNR/ZaXRLw/0u9gSG3T1B+Q7eaZkZkM7bux j0hw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=+itEX0QPca0uScy6P2WWiIQATB6P1A36coINBt+8OL0=; b=GmXw6Aczm6fgTNiBiPZ5Fs7ObJTIZ2RkSp+NpypJjREMNPKs5XJ5VLiN21325al+f0 RncAZoAp8ngVHUby1/WUMsYeD+PYAAvTvbpUHr/3WjeeoOG1KlF7iM+4Y9+LnL2D6u0t n7OWZz1sc6Nj8jU37LqCQHqEyNQ/i55lhLeV5LJEvisMOzAYx77gmasKen4dGSw0O59P 1P61qaJDoPCDmFklM8ked5x/xSwZG2C2yC3fzWQrHSuR2w8JQtlqKyJeMsd+uKhkw/Pp ywg+JyM2z+Zs+AoiAZeEIeCsGL+jJHBdX7ObbMeujXqaKmImWe54XZLT7PGPgnMY8IdB Kp0A== X-Gm-Message-State: AKwxyte7u/gkMkMbUAU5nCpSvq3lhRZL5YFDjMI25jluVwvpcy9/hvtF ZQ9NLex3SgYyh6jzf/fi0HnlcQ== X-Google-Smtp-Source: ACJfBouKbotpFhjNF3LxLFv/0l9wsIJ60vuEVpn0yUOrg3GjebKMtsCY1ZhcrZI0f1nLb6HYnphnCQ== X-Received: by 10.107.147.134 with SMTP id v128mr28802941iod.240.1515842797905; Sat, 13 Jan 2018 03:26:37 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id e185sm3170896itb.27.2018.01.13.03.26.37 for <30096@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 13 Jan 2018 03:26:37 -0800 (PST) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 30096@debbugs.gnu.org Subject: [PATCH 5/6] gnu: Add ocaml-tsdl. Date: Sat, 13 Jan 2018 05:26:37 -0600 Message-ID: <87d12euhhu.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 30096 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: 0.0 (/) * gnu/packages/ocaml.scm (ocaml-tsdl): New variable. --- gnu/packages/ocaml.scm | 44 +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 43 insertions(+), 1 deletion(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a60922c02..34458be28 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -52,6 +52,7 @@ #:use-module (gnu packages pkg-config) #:use-module (gnu packages protobuf) #:use-module (gnu packages python) + #:use-module (gnu packages sdl) #:use-module (gnu packages tex) #:use-module (gnu packages texinfo) #:use-module (gnu packages time) @@ -3842,14 +3843,55 @@ without writing or generating any C!") (inputs `(("findlib" ,ocaml-findlib-1.7.3) ("topkg" ,ocaml-topkg) - ("astring" ,ocaml-astring) ("opam", opam))) + (propagated-inputs + `(("astring" ,ocaml-astring))) (synopsis "OCamlbuild plugin for C stubs") (description "Ocb-stubblr is about ten lines of code that you need to repeat over, over, over and over again if you are using ocamlbuild to build OCaml projects that contain C stubs.") (license license:isc))) +(define-public ocaml-tsdl + (package + (name "ocaml-tsdl") + (version "0.9.1") + (home-page "http://erratique.ch/software/tsdl") + (source (origin + (method url-fetch) + (uri (string-append home-page "/releases/tsdl-" + version ".tbz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "08bb97fhvz829fb0sgjn2p20mp7b04v98zy2qxpk2w390a6c4b34")))) + (build-system ocaml-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (delete 'configure) + (replace 'build + (lambda* (#:key outputs #:allow-other-keys) + (let ((libdir (string-append (assoc-ref %build-inputs "findlib") + "/lib/ocaml/site-lib"))) + + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" "build" "--tests" "false"))))) + (delete 'check)))) + (native-inputs + `(("opam" ,opam) + ("pkg-config" ,pkg-config))) + (inputs + `(("findlib" ,ocaml-findlib-1.7.3) + ("topkg" ,ocaml-topkg) + ("result" ,ocaml-result) + ("sdl2" ,sdl2) + ("integers" ,ocaml-integers) + ("ctypes" ,ocaml-ctypes))) + (synopsis "Thin bindings to SDL for OCaml") + (description "Tsdl is an OCaml library providing thin bindings to the +cross-platform SDL C library.") + (license license:isc))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 06:27:45 2018 Received: (at 30096) by debbugs.gnu.org; 13 Jan 2018 11:27:45 +0000 Received: from localhost ([127.0.0.1]:54411 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJyS-0000EE-Ka for submit@debbugs.gnu.org; Sat, 13 Jan 2018 06:27:44 -0500 Received: from mail-it0-f66.google.com ([209.85.214.66]:35549) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaJyR-0000E0-9y for 30096@debbugs.gnu.org; Sat, 13 Jan 2018 06:27:43 -0500 Received: by mail-it0-f66.google.com with SMTP id f143so12172959itb.0 for <30096@debbugs.gnu.org>; Sat, 13 Jan 2018 03:27:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=BE6EQQYAuxstQ2WnsAkcJWDAypRFUZepGJsaiLm2xio=; b=cfAbwncj+05X1vAsGBJT/PnlXSERX8BzI/+1UB52yAN/0d1rYlIgd7JWg8VN2FKd7b NKdSzn4Oyy4gdx2MrzwlJNE8Wlfb18vds/l2PYiFpD2iNwYSkCObcdYmNLbQ9+oAnA+V XpmCmgj+s6loW1uzNFjLT/Cha7UvPfyLx3jE5H59gT8Mpbh4Fr38ZBqYdKTQYMPWEqeL Q6xhTkvAOuLZWcF+xZYHNOa08BBTWui5lmaZu37DwyU2baBJ7EWafnnfwtjuKm4B64yq hYCzIvjbMabjIpN32kBauvSp1ouBLnrHrT63eosG05diBzaE+NlXFJwxR7k4MDcbZGBd /9lQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=BE6EQQYAuxstQ2WnsAkcJWDAypRFUZepGJsaiLm2xio=; b=QyFz5HltfL6C3I1rMI4PhvCmYSx3lEVSs7n6F0/8i/HU7kShRefVRJ9sZRxYcdq0DQ yJqBnMEx+o1uHLTbi46o1/J/JC9l8vV6rTH/hFUM/CD0UAX98lEI2zfKkoWwF0yqSXtq CXoame1UY1r6iax5ezNGClzewm1l1yx0KUkqaUJyOIe7UTI/6e/DqnxfZIhSKTDB3VKF eDnm/2YnejJzd8GMZRv824JqG8AoFy+wAtuQigP5K1jn4OHpUG1g3J3IZGjce9BnToPT lAIV2GfGcrqJKvF/lazq1flX89dzqgQn+ZfzZLSc3zgzFTtXSzjqiNI/bR7ST2AmX/mN Ovpw== X-Gm-Message-State: AKwxytfg+NTo4b7wUZuGxJcnB/NyoqD1/Y9PLByOutBr8xFGpvZVi4Fc 3qCkyq340SY5/XgzL2f4HxnIXA== X-Google-Smtp-Source: ACJfBouvjUGQ+NUYEfYoodlGcYagKXk+Kg3Fquw2+Z9t0TGvnoqqCDHDmcstSYKl0sngAQIwnCUdzQ== X-Received: by 10.36.9.144 with SMTP id 138mr7435603itm.125.1515842857683; Sat, 13 Jan 2018 03:27:37 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id e139sm3553088ite.8.2018.01.13.03.27.37 for <30096@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 13 Jan 2018 03:27:37 -0800 (PST) User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: 30096@debbugs.gnu.org Subject: [PATCH 6/6] gnu: ocaml-findlib: Update to 1.7.3. Date: Sat, 13 Jan 2018 05:27:36 -0600 Message-ID: <87bmhyuhg7.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30096 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: -0.0 (/) * gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.7.3. * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): Removed. --- gnu/packages/ocaml.scm | 45 ++++++++++++++------------------------------- 1 file changed, 14 insertions(+), 31 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 34458be28..3d2d5c337 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -850,20 +850,19 @@ to the other.") (define-public ocaml-findlib (package (name "ocaml-findlib") - (version "1.6.1") + (version "1.7.3") (source (origin (method url-fetch) (uri (string-append "http://download.camlcity.org/download/" "findlib" "-" version ".tar.gz")) (sha256 (base32 - "02abg1lsnwvjg3igdyb8qjgr5kv1nbwl4gaf8mdinzfii5p82721")) - (patches (search-patches "ocaml-findlib-make-install.patch")))) + "12xx8si1qv3xz90qsrpazjjk4lc1989fzm97rsmc4diwla7n15ni")))) (build-system gnu-build-system) (native-inputs `(("camlp4" ,camlp4) ("m4" ,m4) - ("ocaml" ,ocaml))) + ("ocaml" ,ocaml))) (arguments `(#:tests? #f ; no test suite #:parallel-build? #f @@ -880,6 +879,12 @@ to the other.") "-mandir" (string-append out "/share/man") "-sitelib" (string-append out "/lib/ocaml/site-lib") "-with-toolbox")))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let ((out (assoc-ref outputs "out"))) + (zero? (system* "make" "install" + (string-append "OCAML_CORE_STDLIB=" + out "/lib/ocaml/site-lib")))))) (add-after 'install 'remove-camlp4 (lambda* (#:key outputs #:allow-other-keys) (let ((out (assoc-ref outputs "out"))) @@ -900,28 +905,6 @@ compilation and linkage, there are new frontends of the various OCaml compilers that can directly deal with packages.") (license license:x11))) -(define-public ocaml-findlib-1.7.3 - (package - (inherit ocaml-findlib) - (version "1.7.3") - (source (origin - (method url-fetch) - (uri (string-append "http://download.camlcity.org/download/" - "findlib" "-" version ".tar.gz")) - (sha256 - (base32 - "12xx8si1qv3xz90qsrpazjjk4lc1989fzm97rsmc4diwla7n15ni")))) - (arguments - (substitute-keyword-arguments (package-arguments ocaml-findlib) - ((#:phases phases) - `(modify-phases ,phases - (replace 'install - (lambda* (#:key outputs #:allow-other-keys) - (let ((out (assoc-ref outputs "out"))) - (zero? (system* "make" "install" - (string-append "OCAML_CORE_STDLIB=" - out "/lib/ocaml/site-lib")))))))))))) - (define-public ocaml4.01-findlib (package (inherit ocaml-findlib) @@ -3728,7 +3711,7 @@ instead of bindings to a C library.") ("cppo" ,ocaml-cppo) ("jbuilder" ,ocaml-jbuilder))) (propagated-inputs - `(("findlib" ,ocaml-findlib-1.7.3) + `(("findlib" ,ocaml-findlib) ("lambda-term" ,ocaml-lambda-term) ("lwt" ,ocaml-lwt) ("react" ,ocaml-react) @@ -3768,7 +3751,7 @@ sensitive completion, colors, and more.") "/lib/ocaml/site-lib"))) (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" "build")))))))) (inputs - `(("findlib" ,ocaml-findlib-1.7.3) + `(("findlib" ,ocaml-findlib) ("topkg" ,ocaml-topkg) ("opam", opam))) (synopsis "Various signed and unsigned integer types for OCaml") @@ -3801,7 +3784,7 @@ long and size_t whose sizes depend on the host platform.") ("libffi" ,libffi) ("ounit" ,ocaml-ounit) ("integers" ,ocaml-integers) - ("findlib" ,ocaml-findlib-1.7.3) + ("findlib" ,ocaml-findlib) ("lwt" ,ocaml-lwt) ("topkg" ,ocaml-topkg) ("opam", opam))) @@ -3841,7 +3824,7 @@ without writing or generating any C!") "/lib/ocaml/site-lib"))) (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" "build")))))))) (inputs - `(("findlib" ,ocaml-findlib-1.7.3) + `(("findlib" ,ocaml-findlib) ("topkg" ,ocaml-topkg) ("opam", opam))) (propagated-inputs @@ -3881,7 +3864,7 @@ OCaml projects that contain C stubs.") `(("opam" ,opam) ("pkg-config" ,pkg-config))) (inputs - `(("findlib" ,ocaml-findlib-1.7.3) + `(("findlib" ,ocaml-findlib) ("topkg" ,ocaml-topkg) ("result" ,ocaml-result) ("sdl2" ,sdl2) -- 2.14.2 From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 07:58:07 2018 Received: (at submit) by debbugs.gnu.org; 13 Jan 2018 12:58:07 +0000 Received: from localhost ([127.0.0.1]:54435 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLNv-0004DV-Dl for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:58:07 -0500 Received: from eggs.gnu.org ([208.118.235.92]:35666) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLNt-0004D1-0l for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:58:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLNm-0002yv-Ik for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:57:59 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_20 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:54052) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLNm-0002yZ-Eh for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:57:58 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54864) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLNk-0005z8-Uv for guix-patches@gnu.org; Sat, 13 Jan 2018 07:57:58 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLNh-0002ui-Sf for guix-patches@gnu.org; Sat, 13 Jan 2018 07:57:57 -0500 Received: from lepiller.eu ([89.234.186.109]:40998) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLNh-0002qC-L3 for guix-patches@gnu.org; Sat, 13 Jan 2018 07:57:53 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id b2a7866a (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 12:57:58 +0000 (UTC) Date: Sat, 13 Jan 2018 13:57:37 +0100 From: Julien Lepiller To: guix-patches@gnu.org Subject: Re: [bug#30096] [PATCH 2/6] gnu: Add ocaml-integers. Message-ID: <20180113135737.0f2ad2b2@lepiller.eu> In-Reply-To: <87inc6ui1c.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87inc6ui1c.fsf@gmail.com> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu) 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] [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 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 (----) Le Sat, 13 Jan 2018 05:14:55 -0600, Peter Kreye a =C3=A9crit : > User-agent: mu4e 0.9.18; emacs 25.3.1 >=20 > * gnu/packages/ocaml.scm (ocaml-integes): New variable. ^ ocaml-integers > --- > gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++ > 1 file changed, 36 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index e70316cd7..61398d3f2 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -3739,6 +3739,42 @@ terminal or in Emacs. It supports line > editing, history, real-time and context sensitive completion, colors, > and more.") (license license:bsd-3))) > =20 > +(define-public ocaml-integers > + (package > + (name "ocaml-integers") > + (version "0.2.2") > + (home-page "https://github.com/ocamllabs/ocaml-integers") > + (source (origin > + (method url-fetch) > + (uri (string-append home-page > + > "/releases/download/v0.2.2/integers-" > + version ".tbz")) > + (file-name (string-append name "-" version ".tbz")) > + (sha256 > + (base32 > + > "08b1ljw88ny3l0mdq6xmffjk8anfc77igryva5jz1p6f4f746ywk")))) > + (build-system ocaml-build-system) > + (arguments > + `(#:tests? #f > + #:phases > + (modify-phases %standard-phases > + (delete 'configure) > + (replace 'build > + (lambda* (#:key outputs #:allow-other-keys) > + (let ((libdir (string-append > + (assoc-ref %build-inputs "findlib") > + "/lib/ocaml/site-lib"))) > + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" > "build")))))))) > + (inputs > + `(("findlib" ,ocaml-findlib-1.7.3) It's probably better to use "#:findlib ,ocaml-findlib-1.7.3" in the arguments list. > + ("topkg" ,ocaml-topkg) > + ("opam", opam))) > + (synopsis "Various signed and unsigned integer types for OCaml") > + (description "The ocaml-integers library provides a number of > 8-, 16-, 32- +and 64-bit signed and unsigned integer types, together > with aliases such as +long and size_t whose sizes depend on the host > platform.") > + (license license:expat))) > + > (define-public coq-flocq > (package > (name "coq-flocq") From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 07:59:57 2018 Received: (at submit) by debbugs.gnu.org; 13 Jan 2018 12:59:57 +0000 Received: from localhost ([127.0.0.1]:54439 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLPg-0004GT-RW for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:59:57 -0500 Received: from eggs.gnu.org ([208.118.235.92]:36081) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLPf-0004GH-Ai for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:59:55 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLPZ-0005kc-4w for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:59:50 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_20 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:46646) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLPZ-0005kQ-10 for submit@debbugs.gnu.org; Sat, 13 Jan 2018 07:59:49 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:55278) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLPX-0006GR-AO for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLPU-0005dA-86 for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:47 -0500 Received: from lepiller.eu ([89.234.186.109]:41000) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLPT-0005bb-U9 for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:44 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id a21557f0 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 12:59:53 +0000 (UTC) Date: Sat, 13 Jan 2018 13:59:39 +0100 From: Julien Lepiller To: guix-patches@gnu.org Subject: Re: [bug#30096] [PATCH 3/6] gnu: Add ocaml-ctypes. Message-ID: <20180113135939.7e7223b4@lepiller.eu> In-Reply-To: <87fu7auhlp.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87fu7auhlp.fsf@gmail.com> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu) 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] [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 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 (----) Le Sat, 13 Jan 2018 05:24:18 -0600, Peter Kreye a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml-ctypes): New variable. > --- > gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ > 1 file changed, 39 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 61398d3f2..40303c808 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -42,6 +42,7 @@ > #:use-module (gnu packages gnome) > #:use-module (gnu packages gtk) > #:use-module (gnu packages libevent) > + #:use-module (gnu packages libffi) > #:use-module (gnu packages llvm) > #:use-module (gnu packages m4) > #:use-module (gnu packages multiprecision) > @@ -3775,6 +3776,44 @@ and 64-bit signed and unsigned integer types, > together with aliases such as long and size_t whose sizes depend on > the host platform.") (license license:expat))) > =20 > +(define-public ocaml-ctypes > + (package > + (name "ocaml-ctypes") > + (version "0.13.1") > + (home-page "https://github.com/ocamllabs/ocaml-ctypes") > + (source (origin > + (method url-fetch) > + (uri (string-append home-page "/archive/" version > ".tar.gz")) > + (file-name (string-append name "-" version ".tar.gz")) > + (sha256 > + (base32 > + > "17w0pr5k0zjcjns4y9n36rjpfl35zhvp3h8ggqs9lz12qhshdk2m")))) > + (build-system ocaml-build-system) > + (arguments > + `(#:make-flags > + (list (string-append "INSTALL_HEADERS =3D $(wildcard > $($(PROJECT).dir)/*.h)")) > + #:phases > + (modify-phases %standard-phases > + (delete 'configure)))) > + (inputs > + `(("pkg-config" ,pkg-config) That should be a native-inputs I think > + ("libffi" ,libffi) > + ("ounit" ,ocaml-ounit) > + ("integers" ,ocaml-integers) > + ("findlib" ,ocaml-findlib-1.7.3) Can you put that in #:findlib instead? > + ("lwt" ,ocaml-lwt) > + ("topkg" ,ocaml-topkg) > + ("opam", opam))) > + (synopsis "Library for binding to C libraries using pure OCaml") > + (description "ctypes is a library for binding to C libraries > using pure +OCaml. The primary aim is to make writing C extensions as > straightforward as +possible. The core of ctypes is a set of > combinators for describing the +structure of C types -- numeric > types, arrays, pointers, structs, unions and +functions. You can use > these combinators to describe the types of the +functions that you > want to call, then bind directly to those functions -- all +without > writing or generating any C!") guix lint complains that sentences should be separated with two spaces, the description should start with an upper-case letter > + (license license:expat))) > + > (define-public coq-flocq > (package > (name "coq-flocq") From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 08:09:06 2018 Received: (at submit) by debbugs.gnu.org; 13 Jan 2018 13:09:06 +0000 Received: from localhost ([127.0.0.1]:54452 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLYX-0004V6-HS for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:09:06 -0500 Received: from eggs.gnu.org ([208.118.235.92]:37909) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLYW-0004Ua-8I for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:09:04 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLYP-00032J-Ti for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:08:58 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_40 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:42949) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLYP-000328-QH for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:08:57 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:57113) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLYO-00007L-5e for guix-patches@gnu.org; Sat, 13 Jan 2018 08:08:57 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLYK-00030M-W5 for guix-patches@gnu.org; Sat, 13 Jan 2018 08:08:56 -0500 Received: from lepiller.eu ([89.234.186.109]:41004) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLYK-0002zu-Pf for guix-patches@gnu.org; Sat, 13 Jan 2018 08:08:52 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 043791ca (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 13:09:00 +0000 (UTC) Date: Sat, 13 Jan 2018 14:08:45 +0100 From: Julien Lepiller To: guix-patches@gnu.org Subject: Re: [bug#30096] [PATCH 2/6] gnu: Add ocaml-integers. Message-ID: <20180113140845.12d7b50e@lepiller.eu> In-Reply-To: <87inc6ui1c.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87inc6ui1c.fsf@gmail.com> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu) 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] [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 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 (----) Le Sat, 13 Jan 2018 05:14:55 -0600, Peter Kreye a =C3=A9crit : > User-agent: mu4e 0.9.18; emacs 25.3.1 >=20 > * gnu/packages/ocaml.scm (ocaml-integes): New variable. > --- > gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++ > 1 file changed, 36 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index e70316cd7..61398d3f2 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -3739,6 +3739,42 @@ terminal or in Emacs. It supports line > editing, history, real-time and context sensitive completion, colors, > and more.") (license license:bsd-3))) > =20 > +(define-public ocaml-integers > + (package > + (name "ocaml-integers") > + (version "0.2.2") > + (home-page "https://github.com/ocamllabs/ocaml-integers") > + (source (origin > + (method url-fetch) > + (uri (string-append home-page > + > "/releases/download/v0.2.2/integers-" > + version ".tbz")) > + (file-name (string-append name "-" version ".tbz")) > + (sha256 > + (base32 > + > "08b1ljw88ny3l0mdq6xmffjk8anfc77igryva5jz1p6f4f746ywk")))) > + (build-system ocaml-build-system) > + (arguments > + `(#:tests? #f Actually, I forgot to ask, why disable tests? That's the same question for the rest of your patches too. > + #:phases > + (modify-phases %standard-phases > + (delete 'configure) > + (replace 'build > + (lambda* (#:key outputs #:allow-other-keys) > + (let ((libdir (string-append > + (assoc-ref %build-inputs "findlib") > + "/lib/ocaml/site-lib"))) > + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" > "build")))))))) You don't need to replace the 'build phase. ocaml-build-system can find pkg/pkg.ml. You just need to use #:build-flags (list "build") to add arguments. That applies also to the rest of your patches. > + (inputs > + `(("findlib" ,ocaml-findlib-1.7.3) > + ("topkg" ,ocaml-topkg) > + ("opam", opam))) > + (synopsis "Various signed and unsigned integer types for OCaml") > + (description "The ocaml-integers library provides a number of > 8-, 16-, 32- +and 64-bit signed and unsigned integer types, together > with aliases such as +long and size_t whose sizes depend on the host > platform.") > + (license license:expat))) > + > (define-public coq-flocq > (package > (name "coq-flocq") From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 08:11:17 2018 Received: (at submit) by debbugs.gnu.org; 13 Jan 2018 13:11:17 +0000 Received: from localhost ([127.0.0.1]:54456 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLaf-0004YB-Am for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:11:17 -0500 Received: from eggs.gnu.org ([208.118.235.92]:38253) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLad-0004Xz-To for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:11:16 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLaX-0004TF-Ok for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:11:10 -0500 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 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:51270) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLaX-0004TB-LP for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:11:09 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:57453) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLaW-0000lo-BH for guix-patches@gnu.org; Sat, 13 Jan 2018 08:11:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLaT-0004Rw-5I for guix-patches@gnu.org; Sat, 13 Jan 2018 08:11:08 -0500 Received: from lepiller.eu ([89.234.186.109]:41006) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLaS-0004RG-Uh for guix-patches@gnu.org; Sat, 13 Jan 2018 08:11:05 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 548a3011 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 13:11:14 +0000 (UTC) Date: Sat, 13 Jan 2018 14:10:59 +0100 From: Julien Lepiller To: guix-patches@gnu.org Subject: Re: [bug#30096] [PATCH 4/6] gnu: Add ocaml-ocb-stubblr. Message-ID: <20180113141059.2cec5e82@lepiller.eu> In-Reply-To: <87efmuuhj3.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87efmuuhj3.fsf@gmail.com> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu) 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] [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 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 (----) Le Sat, 13 Jan 2018 05:25:52 -0600, Peter Kreye a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml-ocb-stubblr): New variable. > --- > gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++ > 1 file changed, 36 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 40303c808..a60922c02 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -3814,6 +3814,42 @@ functions that you want to call, then bind > directly to those functions -- all without writing or generating any > C!") (license license:expat))) > =20 > +(define-public ocaml-ocb-stubblr > + (package > + (name "ocaml-ocb-stubblr") > + (version "0.1.1") > + (home-page "https://github.com/pqwy/ocb-stubblr") > + (source (origin > + (method url-fetch) > + (uri (string-append > + home-page "/releases/download/v0.1.1/ocb-stubblr-" > + version ".tbz")) > + (file-name (string-append name "-" version ".tbz")) > + (sha256 > + (base32 > + > "167b7x1j21mkviq8dbaa0nmk4rps2ilvzwx02igsc2706784z72f")))) > + (build-system ocaml-build-system) > + (arguments > + `(#:tests? #f > + #:phases > + (modify-phases %standard-phases > + (delete 'configure) > + (replace 'build > + (lambda* (#:key outputs #:allow-other-keys) > + (let ((libdir (string-append (assoc-ref %build-inputs > "findlib") > + "/lib/ocaml/site-lib"))) > + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" > "build")))))))) You don't need to replace the build phase, use #:build-flags (list "build"). > + (inputs > + `(("findlib" ,ocaml-findlib-1.7.3) Similarly, I think it's better to use #:findlib. > + ("topkg" ,ocaml-topkg) > + ("astring" ,ocaml-astring) > + ("opam", opam))) > + (synopsis "OCamlbuild plugin for C stubs") > + (description "Ocb-stubblr is about ten lines of code that you > need to +repeat over, over, over and over again if you are using > ocamlbuild to build +OCaml projects that contain C stubs.") > + (license license:isc))) > + > (define-public coq-flocq > (package > (name "coq-flocq") From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 08:17:06 2018 Received: (at submit) by debbugs.gnu.org; 13 Jan 2018 13:17:06 +0000 Received: from localhost ([127.0.0.1]:54471 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLgI-0004hJ-Ib for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:17:06 -0500 Received: from eggs.gnu.org ([208.118.235.92]:39141) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLgG-0004gi-NG for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:17:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLgA-0008Vo-BX for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:16:59 -0500 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 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:38854) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLgA-0008Vg-7q for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:16:58 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58330) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLg8-0002Gf-QQ for guix-patches@gnu.org; Sat, 13 Jan 2018 08:16:57 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLg3-0008TA-Sn for guix-patches@gnu.org; Sat, 13 Jan 2018 08:16:56 -0500 Received: from lepiller.eu ([89.234.186.109]:41010) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLg3-0008Sh-IZ for guix-patches@gnu.org; Sat, 13 Jan 2018 08:16:51 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id c55ed756 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 13:16:59 +0000 (UTC) Date: Sat, 13 Jan 2018 14:16:43 +0100 From: Julien Lepiller To: guix-patches@gnu.org Subject: Re: [bug#30096] [PATCH 5/6] gnu: Add ocaml-tsdl. Message-ID: <20180113141635.1a2b740e@lepiller.eu> In-Reply-To: <87d12euhhu.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87d12euhhu.fsf@gmail.com> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu) 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] [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 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 (----) Le Sat, 13 Jan 2018 05:26:37 -0600, Peter Kreye a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml-tsdl): New variable. > --- > gnu/packages/ocaml.scm | 44 > +++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 43 > insertions(+), 1 deletion(-) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index a60922c02..34458be28 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -52,6 +52,7 @@ > #:use-module (gnu packages pkg-config) > #:use-module (gnu packages protobuf) > #:use-module (gnu packages python) > + #:use-module (gnu packages sdl) > #:use-module (gnu packages tex) > #:use-module (gnu packages texinfo) > #:use-module (gnu packages time) > @@ -3842,14 +3843,55 @@ without writing or generating any C!") > (inputs > `(("findlib" ,ocaml-findlib-1.7.3) > ("topkg" ,ocaml-topkg) > - ("astring" ,ocaml-astring) > ("opam", opam))) > + (propagated-inputs > + `(("astring" ,ocaml-astring))) This needs to be in the commit message. > (synopsis "OCamlbuild plugin for C stubs") > (description "Ocb-stubblr is about ten lines of code that you > need to repeat over, over, over and over again if you are using > ocamlbuild to build OCaml projects that contain C stubs.") > (license license:isc))) > =20 > +(define-public ocaml-tsdl > + (package > + (name "ocaml-tsdl") > + (version "0.9.1") > + (home-page "http://erratique.ch/software/tsdl") > + (source (origin > + (method url-fetch) > + (uri (string-append home-page "/releases/tsdl-" > + version ".tbz")) > + (file-name (string-append name "-" version ".tar.gz")) > + (sha256 > + (base32 > + > "08bb97fhvz829fb0sgjn2p20mp7b04v98zy2qxpk2w390a6c4b34")))) > + (build-system ocaml-build-system) > + (arguments > + `(#:phases > + (modify-phases %standard-phases > + (delete 'configure) > + (replace 'build > + (lambda* (#:key outputs #:allow-other-keys) > + (let ((libdir (string-append (assoc-ref %build-inputs > "findlib") > + "/lib/ocaml/site-lib"))) > + > + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" > "build" "--tests" "false"))))) Don't replace the 'build phase and delete 'check: you just need #:build-flags (list "build") and #:tests? #f. I don't think you need to disable test building. Why not run tests? > + (delete 'check)))) > + (native-inputs > + `(("opam" ,opam) > + ("pkg-config" ,pkg-config))) > + (inputs > + `(("findlib" ,ocaml-findlib-1.7.3) > + ("topkg" ,ocaml-topkg) > + ("result" ,ocaml-result) > + ("sdl2" ,sdl2) > + ("integers" ,ocaml-integers) > + ("ctypes" ,ocaml-ctypes))) > + (synopsis "Thin bindings to SDL for OCaml") > + (description "Tsdl is an OCaml library providing thin bindings > to the +cross-platform SDL C library.") The description has a line that's too long > + (license license:isc))) > + > (define-public coq-flocq > (package > (name "coq-flocq") From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 08:18:52 2018 Received: (at submit) by debbugs.gnu.org; 13 Jan 2018 13:18:52 +0000 Received: from localhost ([127.0.0.1]:54476 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLi0-0004jt-0w for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:18:52 -0500 Received: from eggs.gnu.org ([208.118.235.92]:39444) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaLhw-0004jg-B1 for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:18:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLhq-0001V6-Hl for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:18:43 -0500 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 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55033) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLhq-0001Us-EA for submit@debbugs.gnu.org; Sat, 13 Jan 2018 08:18:42 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58634) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLhp-0002YX-0y for guix-patches@gnu.org; Sat, 13 Jan 2018 08:18:42 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLhk-0001Na-3u for guix-patches@gnu.org; Sat, 13 Jan 2018 08:18:41 -0500 Received: from lepiller.eu ([89.234.186.109]:41012) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLhj-0001Lk-RS for guix-patches@gnu.org; Sat, 13 Jan 2018 08:18:36 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 8ce03f1e (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 13:18:45 +0000 (UTC) Date: Sat, 13 Jan 2018 14:18:30 +0100 From: Julien Lepiller To: guix-patches@gnu.org Subject: Re: [bug#30096] [PATCH 6/6] gnu: ocaml-findlib: Update to 1.7.3. Message-ID: <20180113141818.5e2ed551@lepiller.eu> In-Reply-To: <87bmhyuhg7.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87bmhyuhg7.fsf@gmail.com> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu) 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] [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 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 (----) Le Sat, 13 Jan 2018 05:27:36 -0600, Peter Kreye a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.7.3. > * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): Removed. > --- > gnu/packages/ocaml.scm | 45 > ++++++++++++++------------------------------- 1 file changed, 14 > insertions(+), 31 deletions(-) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 34458be28..3d2d5c337 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > [...] I haven't tested rebuilding everything, but if it works, LGTM. Thank you for your patches! From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 13 13:10:36 2018 Received: (at 30096) by debbugs.gnu.org; 13 Jan 2018 18:10:37 +0000 Received: from localhost ([127.0.0.1]:55105 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaQGK-0003CI-NU for submit@debbugs.gnu.org; Sat, 13 Jan 2018 13:10:36 -0500 Received: from out1-smtp.messagingengine.com ([66.111.4.25]:57513) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eaQGJ-0003CA-RG for 30096@debbugs.gnu.org; Sat, 13 Jan 2018 13:10:36 -0500 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 7FF0B20AA9; Sat, 13 Jan 2018 13:10:35 -0500 (EST) Received: from frontend2 ([10.202.2.161]) by compute4.internal (MEProxy); Sat, 13 Jan 2018 13:10:35 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=famulari.name; h=cc:content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc; s= mesmtp; bh=2qmA0qsTt4VZfbs2KkO/imYgaAmO6vPFxM3nIWzwFCA=; b=rhLTs KkkY4u6Q9HvsmaCyQud+lVKc7qULKnrOY5SlwqSDfN/M9BvFhuhx1EmTNGWpmHHU FkN4ptKG6G4V1qS4GGUt4vQfxeoYQlD2Cqbw6sfjYn6+3Oultj/EP2Zw8aXRMIoa Fd5a+82N4SEX1z9FpxqVUkqLSBqvYZUQtijScI= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc; s=fm1; bh=2qmA0qsTt4VZfbs2KkO/imYgaAmO6 vPFxM3nIWzwFCA=; b=mSbH8n8iTWQLhr5KbPNXRm/pzXOfeXD8SwMInQPKC+j/w YGlrVkGY4VuYJfMS/0ghYbLW09Bc9NNTUhXoQQ8jDtykk9u6b1yeB11CCcqKNyN0 YFzSF7O4sflyishZz4tWSqBN9wgnjGaT4vzYowYt53fxgu7IE0SjiWk9Slc5v6gg bgCIqeej7y5FqMYY1tBDVpIBC5c28EuixsnK8d54S9URYu/qjCWFBewK+A+7L7gz awXw7SlY2+06GXMTHfmr4bHjzTsFLrV+SPlrMRuRQBlK2uPttAvd/HAQOZo9Sb/8 iyuNcNudmBbtnCzfoapSxHRzkWC/SflFT331mTzLg== X-ME-Sender: Received: from localhost (unknown [162.208.95.194]) by mail.messagingengine.com (Postfix) with ESMTPA id 17135247FC; Sat, 13 Jan 2018 13:10:35 -0500 (EST) Date: Sat, 13 Jan 2018 10:10:32 -0800 From: Leo Famulari To: Julien Lepiller Subject: Re: [bug#30096] [PATCH 6/6] gnu: ocaml-findlib: Update to 1.7.3. Message-ID: <20180113181032.GB32338@jasmine.lan> References: <87lgh2uigo.fsf@gmail.com> <87bmhyuhg7.fsf@gmail.com> <20180113141818.5e2ed551@lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="cvVnyQ+4j833TQvp" Content-Disposition: inline In-Reply-To: <20180113141818.5e2ed551@lepiller.eu> User-Agent: Mutt/1.9.2 (2017-12-15) X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 30096 Cc: 30096@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: -0.7 (/) --cvVnyQ+4j833TQvp Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Jan 13, 2018 at 02:18:30PM +0100, Julien Lepiller wrote: > Le Sat, 13 Jan 2018 05:27:36 -0600, > Peter Kreye a =E9crit : >=20 > > * gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.7.3. > > * gnu/packages/ocaml.scm (ocaml-findlib-1.7.3): Removed. > > --- > > gnu/packages/ocaml.scm | 45 > > ++++++++++++++------------------------------- 1 file changed, 14 > > insertions(+), 31 deletions(-) > >=20 > > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > > index 34458be28..3d2d5c337 100644 > > --- a/gnu/packages/ocaml.scm > > +++ b/gnu/packages/ocaml.scm > > [...] >=20 > I haven't tested rebuilding everything, but if it works, LGTM. >=20 > Thank you for your patches! Thanks to Peter for the patches and Julien for the review. Julien, once the revised patches are ready, please feel free to push them :) --cvVnyQ+4j833TQvp Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEsFFZSPHn08G5gDigJkb6MLrKfwgFAlpaS5gACgkQJkb6MLrK fwjeqRAAgaSBknzOhGRJ4omAcdSM2PC4QH6b3pDSyHnP5/WtRCEULGRLokfC3VPX 79eTtaLl0TTIU+nMINTXewIvwVe8PRy34c4uegjfIPlAlCt0XYY3WNjwQb3+3wbm ECRxcNFaFJLgsnflXMDPXe2ZPrThs5khcX427HFvmVMZkjQj7GH6J0eNIfVC6t10 NehNwYxw+FaQhf/5cZ0LWhQnIyGX0QofXUzT5zkUA0+AZc9tQLWodxmtj3WUgYOh LnpN5buH1qIJZIPOhQ5ikd++LCt0qJjmraQ4evHz6wqKnyzzrvtN25Nps5sWtTts vaiRx3QSefptwWP+kKryQkPiYPidB3819Q2dnjNn3CXFYY4QVSnUa2E8MX4QXjpf XardSf/AHnoc48cRTUnW9BXgsJ/h8D2Ze2XUCRRm7Yf+2ytX7mWUiSTdNTunZI2R Tb8IJSiD6JvJBR4Jpa4lV5useE69Ibolg5+7Wj+TH17kq+wL5MNiiTFwcnM2Wmmk thmYeOvVW0JLhZLorKvMcYIAqvMXRRL3PvNAtIBLdGo/IkOI95LaOwcFEI9kUJHC DqGgUxMEnW+3iYZmGEJ6Pj3gWWDemmSurF6NR3vlAkg7Vb7br0ULV2SeUKDztofk crEOn0m2YTn0DnwBrkduTtC0UdGmWelgCePLFpDDVYmlHuqTVGw= =pt3B -----END PGP SIGNATURE----- --cvVnyQ+4j833TQvp-- From debbugs-submit-bounces@debbugs.gnu.org Tue Jan 16 09:30:20 2018 Received: (at 30096) by debbugs.gnu.org; 16 Jan 2018 14:30:20 +0000 Received: from localhost ([127.0.0.1]:58208 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ebSFl-0000s0-Qi for submit@debbugs.gnu.org; Tue, 16 Jan 2018 09:30:20 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:54268) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ebSFe-0000rn-VM for 30096@debbugs.gnu.org; Tue, 16 Jan 2018 09:30:15 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 3683110D51; Tue, 16 Jan 2018 15:30:10 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id utxHBDZq_HiL; Tue, 16 Jan 2018 15:30:09 +0100 (CET) Received: from ribbon (unknown [193.50.110.60]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 701CE10D50; Tue, 16 Jan 2018 15:30:09 +0100 (CET) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Leo Famulari Subject: Re: [bug#30096] [PATCH 6/6] gnu: ocaml-findlib: Update to 1.7.3. References: <87lgh2uigo.fsf@gmail.com> <87bmhyuhg7.fsf@gmail.com> <20180113141818.5e2ed551@lepiller.eu> <20180113181032.GB32338@jasmine.lan> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 27 =?utf-8?Q?Niv=C3=B4se?= an 226 de la =?utf-8?Q?R?= =?utf-8?Q?=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: Tue, 16 Jan 2018 15:30:09 +0100 In-Reply-To: <20180113181032.GB32338@jasmine.lan> (Leo Famulari's message of "Sat, 13 Jan 2018 10:10:32 -0800") Message-ID: <87o9lt6fm6.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-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 30096 Cc: 30096@debbugs.gnu.org, Julien Lepiller 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 (+) Heya, Leo Famulari skribis: > Thanks to Peter for the patches and Julien for the review. Julien, once > the revised patches are ready, please feel free to push them :) Also, please consider fixing minor issues (like two spaces after end-of-sentence) on behalf of Peter. This should be more efficient for everyone. :-) Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Fri Jan 19 00:33:16 2018 Received: (at 30096) by debbugs.gnu.org; 19 Jan 2018 05:33:17 +0000 Received: from localhost ([127.0.0.1]:33951 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ecPIh-0001OU-EN for submit@debbugs.gnu.org; Fri, 19 Jan 2018 00:33:16 -0500 Received: from mail-io0-f176.google.com ([209.85.223.176]:36599) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ecPIf-0001OF-L5 for 30096@debbugs.gnu.org; Fri, 19 Jan 2018 00:33:14 -0500 Received: by mail-io0-f176.google.com with SMTP id l17so961033ioc.3 for <30096@debbugs.gnu.org>; Thu, 18 Jan 2018 21:33:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=5yRawhheu8GkFPmC/ftsK2vsaa68kuHtjvLfA19E338=; b=rPRu/H/gEUHpRzblwg41H/OKGwBGF8qb77ZikSTm0KZ5aJwzqjl7PAiPNmk7eWa2Wj 2iCAQYqpNUDLRw52IE6Fh6KZlFK4cnDXnOcmeAwsVHR6smNBwtZ03Jr9p9fNuak9dsug t/dyRWZMliG5HIz9sGP6VC+qQfGX+CxOP86yckos1OrQB5vUHpASbcYRHwayMsqdRhYJ YebD3gKJH9OUlOJ8wa8Au5AgARbT15zoLucsV5swE7oheTF1qJ6hDzCfNleWPcI69ve0 Q0YFPwTHnamHRDKA0uDlkIuVApHaw12p25iBYrRuAzAb9rh/x276Mhn3QMJMrhDkgbit rWKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=5yRawhheu8GkFPmC/ftsK2vsaa68kuHtjvLfA19E338=; b=qVLdRpON2vpVL0zFw9I9+OKeyOqNq+E/Hxb0QZaBgVsyv1KmRJN993HLMXu2+KDVOi VuRnL6ijVkN8CvmsvHmR6dj62PgW/II26kvrjQYzoaDE9UFT2H6co9BqUsW5VngOrcam kRRrT9hObkptESnBNz7AIynTrjsPGDo8vh3RLyELkHCKi1Gmcb0hQfxOwaX7OL60u/8v uDFPOLCQHQ0Q/+6ofcBOYTTMvDK8Rt/N+0E71VuJh4bekYuKlluO4hz6kd6/fypFHvmA 6yQuB+kQKWcE4gVnVI/XvLUn5ZJYHkSoD4+uuGrJqAtSu8CBKlkgQw19tQt1ezjeHBVn 1DHg== X-Gm-Message-State: AKwxytdAzKDzd//sPab5GhE6r1BPEjYprh+SyPdsXBA9ycMUjao//Ss4 MxNONHd3so6GPVGd1BkPeKE89A== X-Google-Smtp-Source: ACJfBov112Qe9rzfqCzAySWxJV19b1Ev4fqIe7rA3GS3DsGbjMYXi9ou3Pkev0TCuz7Lqa14Tq9Uqg== X-Received: by 10.107.39.78 with SMTP id n75mr23812590ion.165.1516339987489; Thu, 18 Jan 2018 21:33:07 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id o71sm302828ite.10.2018.01.18.21.33.06 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 18 Jan 2018 21:33:07 -0800 (PST) References: <87lgh2uigo.fsf@gmail.com> <87inc6ui1c.fsf@gmail.com> <20180113140845.12d7b50e@lepiller.eu> User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: Julien Lepiller Subject: Re: [bug#30096] [PATCH 2/6] gnu: Add ocaml-integers. In-reply-to: <20180113140845.12d7b50e@lepiller.eu> Date: Thu, 18 Jan 2018 23:32:48 -0600 Message-ID: <87a7xaifb3.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 30096 Cc: 30096@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: 0.0 (/) --=-=-= Content-Type: text/plain Julien, Thank you for all of the feedback, it is much appreciated. Julien Lepiller writes: > Actually, I forgot to ask, why disable tests? > > That's the same question for the rest of your patches too. This package doesn't have any tests, which seems to be causing the 'check phase to fail. Would it be better to use "#:tests? #f" or to delete the 'check phase? > You don't need to replace the 'build phase. ocaml-build-system can find > pkg/pkg.ml. You just need to use #:build-flags (list "build") to add > arguments. > > That applies also to the rest of your patches. Thank you for this info. I'll make sure to do this from now on. > It's probably better to use "#:findlib ,ocaml-findlib-1.7.3" in the > arguments list. Same. -- --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0001-gnu-Add-ocaml-integers.patch >From 3e3d3cf9775fb95d22ecf1422a81e7ae582176ce Mon Sep 17 00:00:00 2001 From: Peter Kreye Date: Thu, 18 Jan 2018 22:38:07 -0600 Subject: [PATCH] gnu: Add ocaml-integers. To: 30096@debbugs.gnu.org * gnu/packages/ocaml.scm (ocaml-integers): New variable. --- gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e70316cd7..ca731001f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3739,6 +3739,37 @@ terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more.") (license license:bsd-3))) +(define-public ocaml-integers + (package + (name "ocaml-integers") + (version "0.2.2") + (home-page "https://github.com/ocamllabs/ocaml-integers") + (source (origin + (method url-fetch) + (uri (string-append home-page + "/releases/download/v0.2.2/integers-" + version ".tbz")) + (file-name (string-append name "-" version ".tbz")) + (sha256 + (base32 + "08b1ljw88ny3l0mdq6xmffjk8anfc77igryva5jz1p6f4f746ywk")))) + (build-system ocaml-build-system) + (arguments + `(#:findlib ,ocaml-findlib-1.7.3 + #:build-flags (list "build") + #:phases + (modify-phases %standard-phases + (delete 'configure) + (delete 'check)))) + (inputs + `(("topkg" ,ocaml-topkg) + ("opam", opam))) + (synopsis "Various signed and unsigned integer types for OCaml") + (description "The ocaml-integers library provides a number of 8-, 16-, 32- +and 64-bit signed and unsigned integer types, together with aliases such as +long and size_t whose sizes depend on the host platform.") + (license license:expat))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Jan 19 00:53:16 2018 Received: (at 30096) by debbugs.gnu.org; 19 Jan 2018 05:53:16 +0000 Received: from localhost ([127.0.0.1]:33956 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ecPc4-0001sq-Dl for submit@debbugs.gnu.org; Fri, 19 Jan 2018 00:53:16 -0500 Received: from mail-io0-f176.google.com ([209.85.223.176]:35722) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ecPc2-0001sb-9d for 30096@debbugs.gnu.org; Fri, 19 Jan 2018 00:53:14 -0500 Received: by mail-io0-f176.google.com with SMTP id m11so999573iob.2 for <30096@debbugs.gnu.org>; Thu, 18 Jan 2018 21:53:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=qS7WxmNIWUsYCJ+3M5XqrOdkHZnmqn4RRENmodH3Ti4=; b=PN8r3NgJ1H09xP7Nv5QLu6BpPCtC1i/VmvtzsCUjCVkAXg0uJ3/uN/E8Qb3wkyz9lv 2MWMTIgEKwzmlPXwM4tjgT+DZ2c+VrZgFeAOCUpy3QdGJ0O12pLvlxYBOVp+5M04Ch2x x/8iUgcgdKUMj/kqmlum5NI4AqhblTXLnFFx5n+ejKhLOaGBUG1JtJ5am1fR5o9MdQL7 s6GY7t5yWMK7bblVM2igsgBHQx2rzScL7QoYQOhKoCYdJN1iEGNlNa5zJG1e6GzEqHVd bPKbrQaoLeuhjynwVGF5/v+uLy1rd5CkEWf6UOyxJknnZC8kpPY+spUI6jVuLGo400I7 xnqg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=qS7WxmNIWUsYCJ+3M5XqrOdkHZnmqn4RRENmodH3Ti4=; b=g0xP6cFJalocJSXA2xKaOmRdgpv3EZ0gIoBD3jE341MFWCNeS4v++ylo472ArYaM/C Kr/gU35yQy7BrAB1w2k3rQQlK8HB6gdtgNswUAXXJektOB3scv9iRVkYGF4CAjBbAJgg YYRDKpPwyUQzr1G2afAfywlmGi5pgKfTiQzWe/fik3uqBusJXCa54m5YWo6l8W6UC61n DJpB4GD3PNqxVcOe8bceR2neZE2EHJ3DZEWejujhPNEhdFHRXD6eFqz2WcCGNK74tw3v iRuSuPorDwV7YtaKIuQK6Ln9LYGUNrLE0K0pczveoSvmIA06uIhThLxFNmVBiLgzxxNh MtdQ== X-Gm-Message-State: AKwxytdVqwQtamaJjiEJ1ZZZk8X1cr4cWZfaG2eJJHg5frLCHdRBcRk3 0t+beCr6CfKcjYqb3wXybhY= X-Google-Smtp-Source: ACJfBovofS+XlrmUh6QYEDfsv5NAPIG3hqrHoPa5fKfTHWtigfLrVjGTsHRF+DnGuKyyKAW0ydhQBA== X-Received: by 10.107.35.75 with SMTP id j72mr47605372ioj.26.1516341188796; Thu, 18 Jan 2018 21:53:08 -0800 (PST) Received: from localhost ([2601:445:4380:1c40:65c:7591:c5f:9a2f]) by smtp.gmail.com with ESMTPSA id f194sm4647548iof.44.2018.01.18.21.53.07 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 18 Jan 2018 21:53:08 -0800 (PST) References: <87lgh2uigo.fsf@gmail.com> <87fu7auhlp.fsf@gmail.com> <20180113135939.7e7223b4@lepiller.eu> User-agent: mu4e 0.9.18; emacs 25.3.1 From: Peter Kreye To: Julien Lepiller Subject: Re: [bug#30096] [PATCH 3/6] gnu: Add ocaml-ctypes. In-reply-to: <20180113135939.7e7223b4@lepiller.eu> Date: Thu, 18 Jan 2018 23:52:53 -0600 Message-ID: <878tcuiedm.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 30096 Cc: 30096@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: 0.0 (/) --=-=-= Content-Type: text/plain Julien Lepiller writes: >> + (inputs >> + `(("pkg-config" ,pkg-config) > That should be a native-inputs I think I agree. -- --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0001-gnu-Add-ocaml-ctypes.patch >From 7215cb21ae3c4117d1b581b19b3b310339b32689 Mon Sep 17 00:00:00 2001 From: Peter Kreye Date: Thu, 18 Jan 2018 23:41:30 -0600 Subject: [PATCH] gnu: Add ocaml-ctypes. To: 30096@debbugs.gnu.org * gnu/packages/ocaml.scm (ocaml-ctypes): New variable. --- gnu/packages/ocaml.scm | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ca731001f..23fa260c8 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -42,6 +42,7 @@ #:use-module (gnu packages gnome) #:use-module (gnu packages gtk) #:use-module (gnu packages libevent) + #:use-module (gnu packages libffi) #:use-module (gnu packages llvm) #:use-module (gnu packages m4) #:use-module (gnu packages multiprecision) @@ -3770,6 +3771,45 @@ and 64-bit signed and unsigned integer types, together with aliases such as long and size_t whose sizes depend on the host platform.") (license license:expat))) +(define-public ocaml-ctypes + (package + (name "ocaml-ctypes") + (version "0.13.1") + (home-page "https://github.com/ocamllabs/ocaml-ctypes") + (source (origin + (method url-fetch) + (uri (string-append home-page "/archive/" version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "17w0pr5k0zjcjns4y9n36rjpfl35zhvp3h8ggqs9lz12qhshdk2m")))) + (build-system ocaml-build-system) + (arguments + `(#:findlib ,ocaml-findlib-1.7.3 + #:make-flags + (list (string-append "INSTALL_HEADERS = $(wildcard $($(PROJECT).dir)/*.h)")) + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (native-inputs + `(("pkg-config" ,pkg-config))) + (inputs + `(("libffi" ,libffi) + ("ounit" ,ocaml-ounit) + ("integers" ,ocaml-integers) + ("lwt" ,ocaml-lwt) + ("topkg" ,ocaml-topkg) + ("opam", opam))) + (synopsis "Library for binding to C libraries using pure OCaml") + (description "Ctypes is a library for binding to C libraries using pure +OCaml. The primary aim is to make writing C extensions as straightforward as +possible. The core of ctypes is a set of combinators for describing the +structure of C types -- numeric types, arrays, pointers, structs, unions and +functions. You can use these combinators to describe the types of the +functions that you want to call, then bind directly to those functions -- all +without writing or generating any C!") + (license license:expat))) + (define-public coq-flocq (package (name "coq-flocq") -- 2.14.2 --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Jan 19 03:09:34 2018 Received: (at 30096) by debbugs.gnu.org; 19 Jan 2018 08:09:34 +0000 Received: from localhost ([127.0.0.1]:34009 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ecRjy-0005Lq-3l for submit@debbugs.gnu.org; Fri, 19 Jan 2018 03:09:34 -0500 Received: from lepiller.eu ([89.234.186.109]:49034) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ecRjw-0005Lh-81 for 30096@debbugs.gnu.org; Fri, 19 Jan 2018 03:09:32 -0500 Received: from webmail.lepiller.eu (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 2d6368b7 (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128:NO) for <30096@debbugs.gnu.org>; Fri, 19 Jan 2018 08:09:52 +0000 (UTC) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Fri, 19 Jan 2018 09:09:29 +0100 From: julien lepiller To: 30096@debbugs.gnu.org Subject: Re: [bug#30096] [PATCH 2/6] gnu: Add ocaml-integers. In-Reply-To: <87a7xaifb3.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87inc6ui1c.fsf@gmail.com> <20180113140845.12d7b50e@lepiller.eu> <87a7xaifb3.fsf@gmail.com> Message-ID: X-Sender: julien@lepiller.eu User-Agent: Roundcube Webmail/1.3.3 X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30096 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: -0.0 (/) Le 2018-01-19 06:32, Peter Kreye a écrit : > Julien, > > Thank you for all of the feedback, it is much appreciated. > > Julien Lepiller writes: > >> Actually, I forgot to ask, why disable tests? >> >> That's the same question for the rest of your patches too. > > This package doesn't have any tests, which seems to be causing the > 'check > phase to fail. Would it be better to use "#:tests? #f" or to delete the > 'check phase? I think it's better to use #:tests? #f and leave a comment to explain the reason, so: #:tests? #f; no test suite Since you disable tests in all your patches, could you leave a comment in each of them to explain why it is disabled? > >> You don't need to replace the 'build phase. ocaml-build-system can >> find >> pkg/pkg.ml. You just need to use #:build-flags (list "build") to add >> arguments. >> >> That applies also to the rest of your patches. > > Thank you for this info. I'll make sure to do this from now on. > >> It's probably better to use "#:findlib ,ocaml-findlib-1.7.3" in the >> arguments list. > > Same. > > -- Thank you, I'll push your patches as soon as you send a new version. From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 28 17:35:46 2018 Received: (at 30096) by debbugs.gnu.org; 28 Jan 2018 22:35:46 +0000 Received: from localhost ([127.0.0.1]:46860 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efvYA-0003WJ-GL for submit@debbugs.gnu.org; Sun, 28 Jan 2018 17:35:46 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:52652) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1efvY8-0003W9-Ga for 30096@debbugs.gnu.org; Sun, 28 Jan 2018 17:35:44 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id F36BE11265; Sun, 28 Jan 2018 23:35:43 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Zlvm3D_u6jQC; Sun, 28 Jan 2018 23:35:43 +0100 (CET) Received: from ribbon (unknown [IPv6:2a01:e0a:1d:7270:af76:b9b:ca24:c465]) by hera.aquilenet.fr (Postfix) with ESMTPSA id A2CD61122A; Sun, 28 Jan 2018 23:35:42 +0100 (CET) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Peter Kreye Subject: Re: [bug#30096] [PATCH 3/6] gnu: Add ocaml-ctypes. References: <87lgh2uigo.fsf@gmail.com> <87fu7auhlp.fsf@gmail.com> <20180113135939.7e7223b4@lepiller.eu> <878tcuiedm.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 9 =?utf-8?Q?Pluvi=C3=B4se?= an 226 de la =?utf-8?Q?R?= =?utf-8?Q?=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: Sun, 28 Jan 2018 23:35:41 +0100 In-Reply-To: <878tcuiedm.fsf@gmail.com> (Peter Kreye's message of "Thu, 18 Jan 2018 23:52:53 -0600") Message-ID: <87inbly5ky.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-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 30096 Cc: 30096@debbugs.gnu.org, Julien Lepiller 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 (+) Hi Peter, Peter Kreye skribis: > From 7215cb21ae3c4117d1b581b19b3b310339b32689 Mon Sep 17 00:00:00 2001 > From: Peter Kreye > Date: Thu, 18 Jan 2018 23:41:30 -0600 > Subject: [PATCH] gnu: Add ocaml-ctypes. > To: 30096@debbugs.gnu.org > > * gnu/packages/ocaml.scm (ocaml-ctypes): New variable. AFAICS this addresses the suggestions that Julien made (it lacks a copyright line for you but we can add it, no problem.) However it also depends on the previous patches. Julien, could you take a look? :-) Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu Feb 01 17:12:11 2018 Received: (at 30096-done) by debbugs.gnu.org; 1 Feb 2018 22:12:11 +0000 Received: from localhost ([127.0.0.1]:52884 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehN5X-0001td-6H for submit@debbugs.gnu.org; Thu, 01 Feb 2018 17:12:11 -0500 Received: from lepiller.eu ([89.234.186.109]:49320) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ehN5V-0001tT-1G for 30096-done@debbugs.gnu.org; Thu, 01 Feb 2018 17:12:09 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id ca6138a1 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <30096-done@debbugs.gnu.org>; Thu, 1 Feb 2018 22:12:55 +0000 (UTC) Date: Thu, 1 Feb 2018 23:12:02 +0100 From: Julien Lepiller To: 30096-done@debbugs.gnu.org Subject: Re: [bug#30096] Update ocaml-findlib; Add ocaml-tsdl and dependencies Message-ID: <20180201231202.5c2521eb@lepiller.eu> In-Reply-To: <87lgh2uigo.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30096-done 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: -0.0 (/) Le Sat, 13 Jan 2018 05:05:43 -0600, Peter Kreye a =C3=A9crit : > Hi, >=20 > This patch series updates to ocaml-findlib to version 1.7.3, removes > the ocaml-findlib-1.7.3 package, and adds the tsdl-ocaml package > along with its dependencies. >=20 Pushed as 2b4d2a4d0a100b67397eeb76f55e1cc20be4ae75 - bff6739d5ea513417bb491a61aa276c4fb7ddd43, with small changes. From unknown Mon Aug 18 09:04:11 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 02 Mar 2018 12:24:04 +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