[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#42162: gforge.inria.fr to be taken off-line in Dec. 2020
From: |
Maxim Cournoyer |
Subject: |
bug#42162: gforge.inria.fr to be taken off-line in Dec. 2020 |
Date: |
Mon, 03 Oct 2022 11:20:34 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Hi,
zimoun <zimon.toutoune@gmail.com> writes:
> Hi,
>
> On Thu, 29 Sep 2022 at 23:10, Maxim Cournoyer <maxim.cournoyer@gmail.com>
> wrote:
>
>> Wholly agreed, this thread is already too long and the original problem
>> was fixed. Closing.
>
> I disagree, the original problem is not fixed; as I explained. Well,
> since you consider it is, please also close the related patch#43442.
Oh, from Ludovic's answer, I thought that the original issue had drifted
to tangential problems; apologies for drawing the wrong conclusion.
[time passes]
I've now migrated the remaining packages off gforge.inria.fr; see the
commits ending with 06201b76e5ef811245d627706c90117a0e9813d4. I tried
to update ocaml-dose3, but aborted that effort, since it'd require
packaging ocaml-parmap:
--8<---------------cut here---------------start------------->8---
modified gnu/packages/ocaml.scm
@@ -646,7 +646,7 @@ (define-public ocaml-mccs
(define-public ocaml-dose3
(package
(name "ocaml-dose3")
- (version "5.0.1")
+ (version "7.0.0")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -655,29 +655,19 @@ (define-public ocaml-dose3
(file-name (git-file-name name version))
(sha256
(base32
- "0dxkw37gj8z45kd0dnrlfgpj8yycq0dphs8kjm9kvq9xc8rikxp3"))
- (patches
- (search-patches
- "ocaml-dose3-add-unix-dependency.patch"
- "ocaml-dose3-Fix-for-ocaml-4.06.patch"
- "ocaml-dose3-dont-make-printconf.patch"
- "ocaml-dose3-Install-mli-cmx-etc.patch"))))
- (build-system ocaml-build-system)
- (arguments
- `(#:tests? #f ;the test suite requires python 2
- #:configure-flags
- ,#~(list (string-append "SHELL="
- #+(file-append (canonical-package bash-minimal)
- "/bin/sh")))
- #:make-flags
- ,#~(list (string-append "LIBDIR=" #$output "/lib/ocaml/site-lib"))))
- (propagated-inputs
- (list ocaml-graph ocaml-cudf ocaml-extlib ocaml-re))
+ "0hcjh68svicap7j9bghgkp49xa12qhxa1pygmrgc9qwm0m4dhirb"))))
+ (build-system dune-build-system)
(native-inputs
(list perl
+ python-wrapper
ocaml-extlib
ocamlbuild
ocaml-cppo))
+ (propagated-inputs
+ (list ocaml-cudf
+ ocaml-extlib
+ ocaml-graph
+ ocaml-re))
(home-page "https://www.mancoosi.org/software/")
(synopsis "Package distribution management framework")
(description "Dose3 is a framework made of several OCaml libraries for
--8<---------------cut here---------------end--------------->8---
Thanks,
--
Maxim