From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id AGTXCoa98F/nbwAA0tVLHw (envelope-from ) for ; Sat, 02 Jan 2021 18:37:58 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id IECFBoa98F8KEwAAbx9fmQ (envelope-from ) for ; Sat, 02 Jan 2021 18:37:58 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7D47A940142 for ; Sat, 2 Jan 2021 18:37:57 +0000 (UTC) Received: from localhost ([::1]:52370 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kvlmm-00040p-Fl for larch@yhetil.org; Sat, 02 Jan 2021 13:37:56 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:51464) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kvlmc-00040U-Cb for guix-devel@gnu.org; Sat, 02 Jan 2021 13:37:47 -0500 Received: from mail.ftbfs.org ([52.8.68.13]:25500 helo=aws.ftbfs.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kvlmY-0002mO-QY for guix-devel@gnu.org; Sat, 02 Jan 2021 13:37:45 -0500 Received: from ip68-5-94-190.oc.oc.cox.net ([68.5.94.190] helo=[192.168.1.12]) by aws.ftbfs.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1kvlmV-0008A1-Cb; Sat, 02 Jan 2021 18:37:39 +0000 Subject: Re: Packaging elm-compiler 0.19.1 To: John Soo References: <1a02c2f5-6b6d-4ed4-848e-f5d6fa5d8502@Johns-iPhone> From: Matthew Kraai Message-ID: <22ec3b89-f091-2b56-1d03-af9e40b2763d@ftbfs.org> Date: Sat, 2 Jan 2021 10:37:38 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Icedove/78.6.0 MIME-Version: 1.0 In-Reply-To: <1a02c2f5-6b6d-4ed4-848e-f5d6fa5d8502@Johns-iPhone> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Received-SPF: pass client-ip=52.8.68.13; envelope-from=kraai@ftbfs.org; helo=aws.ftbfs.org X-Spam_score_int: -29 X-Spam_score: -3.0 X-Spam_bar: --- X-Spam_report: (-3.0 / 5.0 requ) BAYES_00=-1.9, NICE_REPLY_A=-1.118, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -0.83 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: 7D47A940142 X-Spam-Score: -0.83 X-Migadu-Scanner: scn1.migadu.com X-TUID: Ihgh5CUIkgby Hi John, On 12/31/20 10:51 AM, John Soo wrote: > I’m not 100% sure how guix handles the ghc “boot” libraries but I > think time is installed alongside ghc. Doing guix environment --pure > --ad-hoc ghc -- ghc-pkg list gets me time-1.9.3. So I do think the > version bounds should be satisfied without any other dependency. Mind > sharing more of the package definition? I think that elm-compiler is built with GHC 8.6.5, not GHC 8.8.3.  When I run `guix environment --pure --ad-hoc ghc@8.6.5 -- ghc-pkg list`, its output contains `time-1.8.0.2`.  I tried changing the definition of `ghc-8` in `haskell.scm` from `ghc-8.6` to `ghc-8.8`, but then `integer-logarithms` fails to build.  Maybe I have to upgrade to the latest LTS Haskell. Here is the full package definition: (define-public elm-compiler   (package     (name "elm-compiler")     (version "0.19.1")     (source      (origin        (method git-fetch)        (file-name (git-file-name name version))        (uri (git-reference              (url "https://github.com/elm/compiler/")              (commit version)))        (sha256         (base32 "1rdg3xp3js9xadclk3cdypkscm5wahgsfmm4ldcw3xswzhw6ri8w"))        (patches         (search-patches "elm-compiler-disable-reactor.patch"))))     (build-system haskell-build-system)     (arguments      `(#:phases        (modify-phases %standard-phases          (add-after 'unpack 'update-constraints            (lambda _              (substitute* "elm.cabal"                (("ansi-terminal >= 0\\.8 && < 0\\.9,")                 "ansi-terminal >= 0.8 && < 0.10,")                (("containers >= 0\\.5\\.8\\.2 && < 0\\.6,")                 "containers >= 0.5.8.2 && < 0.7,")                (("http-client >= 0\\.5 && < 0\\.6,")                 "http-client >= 0.5 && < 0.7,")                (("language-glsl >= 0\\.0\\.2 && < 0\\.3,")                 "language-glsl >= 0.0.2 && < 0.4,")                (("network >= 2\\.4 && < 2\\.7,")                 "network >= 2.4 && < 2.9,"))              #t)))))     (inputs      `(("ghc-ansi-terminal" ,ghc-ansi-terminal)        ("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint)        ("ghc-edit-distance" ,ghc-edit-distance)        ("ghc-file-embed" ,ghc-file-embed)        ("ghc-filelock" ,ghc-filelock)        ("ghc-http" ,ghc-http)        ("ghc-http-client" ,ghc-http-client)        ("ghc-http-client-tls" ,ghc-http-client-tls)        ("ghc-http-types" ,ghc-http-types)        ("ghc-language-glsl" ,ghc-language-glsl)        ("ghc-logict" ,ghc-logict)        ("ghc-network" ,ghc-network)        ("ghc-raw-strings-qq" ,ghc-raw-strings-qq)        ("ghc-scientific" ,ghc-scientific)        ("ghc-sha" ,ghc-sha)        ("ghc-snap-core" ,ghc-snap-core)        ("ghc-snap-server" ,ghc-snap-server)        ("ghc-time-compat" ,ghc-time-compat)        ("ghc-unordered-containers"         ,ghc-unordered-containers)        ("ghc-utf8-string" ,ghc-utf8-string)        ("ghc-vector" ,ghc-vector)        ("ghc-zip-archive" ,ghc-zip-archive)))     (home-page "https://elm-lang.org")     (synopsis "Programming language for Web applications")     (description      "This package provides Elm, a statically-typed functional programming language for the browser.  It includes commands for developers such as @command{elm make} and @command{elm repl}.")     (license license:bsd-3))) -- Matthew Kraai