profile
viewpoint
Marcello Seri mseri Rijksuniversiteit Groningen Groningen, NL mseri.me

mirage/ocaml-cohttp 504

An OCaml library for HTTP clients and servers using Lwt or Async

ArulselvanMadhavan/ocaml-ctfp 90

OCaml version of Category Theory For Programmers

mirage/ocaml-rpc 75

Light library to deal with RPCs in OCaml

hcarty/ocaml-plplot 12

OCaml bindings for PLplot

ben-oxley/homeFlux 8

Creating a lighting solution for energy efficiency and wellbeing to work with Philips Hue lighting systems

gaborigloi/rpc_tk 4

Generate TK GUI for interfaces declared with ocaml-rpc's IDL

lnav-xenserver-logs/lnav_xenserver_logs 4

lnav format file for Citrix Hypervisor (formerly XenServer) logs

framp/hashcode-2017 1

HashCode Google 2017 challenge

fzadra/VanDerPolContact 1

Numerical Simulations Van Der Pol: Bravetti, Seri, Zadra

mseri/.dotfiles 1

some of my dotfiles (linux version)

startedlucasrla/remarks

started time in 15 hours

startedblandinw/ocaml-grpc-envoy

started time in 15 hours

startedartagnon/FreelyCommute

started time in 15 hours

startedTarsnap/spiped

started time in a day

startedTarsnap/kivaloo

started time in a day

pull request commentmirage/ocaml-cohttp

Conduit 3.0.0

Yes, I agree with @hcarty suggestion. Namingwise, I don't have a preference. Feel free to pick a side :)

dinosaure

comment created time in a day

startedpveber/ocaml-jquery

started time in a day

startedpveber/col

started time in a day

startedGranitosaurus/macos-compose

started time in 2 days

startedpveber/binning

started time in 3 days

startedyurug/ocaml-crontab

started time in 3 days

push eventocaml/opam-repository

Chet Murthy

commit sha 04bed5ae68c1747311225887df5f67a2b4d25773

exclude ocaml 4.09.1 this (old) camlp5 version doesn't support it. # Please enter the commit message for your changes. Lines starting # with '#' will be ignored, and an empty message aborts the commit. # # On branch opam-publish-camlp5-7.10-patch # Changes to be committed: # modified: packages/camlp5/camlp5.7.10/opam #

view details

Marcello Seri

commit sha 4c7cc1ac40795b4b8975c751ed5badf37803ea33

Merge pull request #17231 from chetmurthy/opam-publish-camlp5-7.10-patch camlp5 7.10 should exclude ocaml 4.09.1

view details

push time in 4 days

PR merged ocaml/opam-repository

camlp5 7.10 should exclude ocaml 4.09.1

this (old) camlp5 version doesn't support ocaml 4.09.1. Per request by Kakadu@

Please enter the commit message for your changes. Lines starting

with '#' will be ignored, and an empty message aborts the commit.

On branch opam-publish-camlp5-7.10-patch

Changes to be committed:

modified: packages/camlp5/camlp5.7.10/opam

+1 -1

1 comment

1 changed file

chetmurthy

pr closed time in 4 days

startedkit-ty-kate/opam-grep

started time in 5 days

startedbarko/bentov

started time in 6 days

startedcpitclaudel/academic-poster-template

started time in 6 days

startedocurrent/obuilder

started time in 6 days

startedjanestreet/memtrace_viewer_with_deps

started time in 6 days

startedjanestreet/env_config

started time in 6 days

startedjanestreet/async_rpc_websocket

started time in 6 days

startedjanestreet/cohttp_async_websocket

started time in 6 days

startedjanestreet/memtrace_viewer

started time in 6 days

startedjanestreet/hex_encode

started time in 6 days

startedsavonet/liquidsoap

started time in 7 days

PullRequestReviewEvent

push eventocaml/opam-repository

ziat

commit sha 0b745cb13dbefb098ff8eb32bf017854c1abf968

Package apronext.1.0.1

view details

Marcello Seri

commit sha bdd4a4a8c48947b757a14590a4f3759929b09ec8

Merge pull request #17200 from ghilesZ/opam-publish-apronext.1.0.1 Package apronext.1.0.1

view details

push time in 7 days

PR merged ocaml/opam-repository

Package apronext.1.0.1

apronext.1.0.1

Apron extension An extension for the OCaml interface of the Apron library


  • Homepage: https://github.com/ghilesZ/apronext
  • Source repo: git+https://github.com/ghilesZ/apronext
  • Bug tracker: https://github.com/ghilesZ/apronext/issues

:camel: Pull-request generated by opam-publish v2.0.2

+27 -0

1 comment

1 changed file

ghilesZ

pr closed time in 7 days

push eventocaml/opam-repository

Hannes Mehnert

commit sha abdc4ac94a463166b16c36bcf6ec7f6f181c68ee

new package: zarith-freestanding 1.10

view details

Kate

commit sha fe29272810f4ae8cc57b8c1c908344897dbb1507

zarith-freestanding.1.10: Simplify shell scripts

view details

Kate

commit sha c045be9034cf3cfcd70edad0b997205c8f081531

zarith-freestanding.1.10: Add missing explicit dependency

view details

Marcello Seri

commit sha 4b683217dae88f79bb0ffc5e2abe111393720ba2

Merge pull request #17197 from hannesm/zarith-freestanding.1.10 new package: zarith-freestanding 1.10

view details

push time in 7 days

PR merged ocaml/opam-repository

new package: zarith-freestanding 1.10 consider for merge question
+159 -0

3 comments

5 changed files

hannesm

pr closed time in 7 days

push eventocaml/opam-repository

Kate

commit sha fa4c14cae41fb226ea1573238239792ca417296c

planets.0.1.14: Fix urls

view details

Marcello Seri

commit sha c4b0717bd91f15b0a5637e7d60d204aa611a42ac

Merge pull request #17201 from kit-ty-kate/url-planets planets.0.1.14: Fix urls

view details

push time in 7 days

PR merged ocaml/opam-repository

planets.0.1.14: Fix urls

Fixes https://github.com/ocaml/opam-repository/issues/17061

+4 -4

1 comment

1 changed file

kit-ty-kate

pr closed time in 7 days

issue closedocaml/opam-repository

planets has wrong URL

planets is on github instead of bitbucket, I think.

closed time in 7 days

olafhering

pull request commentocaml/opam-repository

conf-cmake: Use /bin/sh instead of bash

The hash of configure.sh needs to be updated

kit-ty-kate

comment created time in 7 days

push eventocaml/opam-repository

Kate

commit sha b2cb05c1d9f5da218db2271607bd508a99659fef

conf-mbedtls: Fix presence test on FreeBSD

view details

Marcello Seri

commit sha dab7749a232245c6c776dd3e38f066e2676582dc

Merge pull request #17202 from kit-ty-kate/fix-mbedtls-freebsd conf-mbedtls: Fix presence test on FreeBSD

view details

push time in 7 days

issue closedocaml/opam-repository

conf-mbedtls fails on freebsd 11.3

opam install conf-mbedtls
The following actions will be performed:
  - install conf-mbedtls 1

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] The compilation of conf-mbedtls failed at "/usr/bin/cc test.c".

#=== ERROR while compiling conf-mbedtls.1 =====================================#
# context     2.0.6 | freebsd/x86_64 | ocaml-system.4.05.0 | https://opam.ocaml.org#3b3a3c0d
# path        /usr/home/rmason/.opam/default/.opam-switch/build/conf-mbedtls.1
# command     /usr/bin/cc test.c
# exit-code   1
# env-file    /usr/home/rmason/.opam/log/conf-mbedtls-40539-ccabea.env
# output-file /usr/home/rmason/.opam/log/conf-mbedtls-40539-ccabea.out
### output ###
# test.c:2:10: fatal error: 'mbedtls/version.h' file not found
# #include <mbedtls/version.h>
#          ^~~~~~~~~~~~~~~~~~~
# 1 error generated.



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build conf-mbedtls 1
+- 
- No changes have been performed

The packages you requested declare the following system dependencies. Please make sure they are installed before retrying:
    mbedtls

I have mbedtls installed:

ls -lh /usr/local/include/mbedtls/version.h  
-rw-r--r--  1 root  wheel   4.3K Jun 30 08:38 /usr/local/include/mbedtls/version.h

Thanks.

closed time in 7 days

sprock

PR merged ocaml/opam-repository

conf-mbedtls: Fix presence test on FreeBSD

Should fix https://github.com/ocaml/opam-repository/issues/16951

+1 -1

1 comment

1 changed file

kit-ty-kate

pr closed time in 7 days

push eventocaml/opam-repository

Kate

commit sha 7e681d5f3d72f87c6a50da16de965d0ae535aa6d

conf-zstd.1.3.8: Use pkg-config to test version number instead of cc (less portable)

view details

Kate

commit sha 3c3b5dead09d083eb1100a02556c9c251ddf5478

conf-zstd.1.3.8: Add support for FreeBSD & OpenSUSE

view details

Marcello Seri

commit sha 8ce4bf4fc9eab44c5609c4eeaeab368c35abfca8

Merge pull request #17204 from kit-ty-kate/fix-zstd Improve & Fix conf-zstd

view details

push time in 7 days

PR merged ocaml/opam-repository

Improve & Fix conf-zstd

Should fix https://github.com/ocaml/opam-repository/issues/16685

+3 -8

1 comment

2 changed files

kit-ty-kate

pr closed time in 7 days

issue closedocaml/opam-repository

conf-zstd won't install with MacPorts

Looking at previous issues this appears to be the same bugbear as many other ports: MacPorts dumps includes in /opt/local/include. Is there a more general fix that should be made here? I'm sadly not super familiar with how opam generally configures compiler/linker flags, but it seems that in general opam (at least as obtained from macports) should be consistently using /opt/local in search paths; I'm not sure if that can be done better than package-by-package (or more extensive use of pkg-config and friends, though it doesn't appear pkg-config knows about zstd in my case.

Anyway:

ahh@cauldronborn ~ % opam install conf-zstd      
The following actions will be performed:
  ∗ install conf-zstd 1.3.8

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
[ERROR] The compilation of conf-zstd failed at "/Users/ahh/.opam/opam-init/hooks/sandbox.sh build cc main.c".

#=== ERROR while compiling conf-zstd.1.3.8 ====================================#
# context     2.0.7 | macos/x86_64 | ocaml-system.4.08.1 | https://opam.ocaml.org#ebf6df3c
# path        ~/.opam/default/.opam-switch/build/conf-zstd.1.3.8
# command     ~/.opam/opam-init/hooks/sandbox.sh build cc main.c
# exit-code   1
# env-file    ~/.opam/log/conf-zstd-55507-58c514.env
# output-file ~/.opam/log/conf-zstd-55507-58c514.out
### output ###
# main.c:1:10: fatal error: 'zstd.h' file not found
# #include "zstd.h"
#          ^~~~~~~~
# 1 error generated.



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><>  🐫 
┌─ The following actions failed
│ λ build conf-zstd 1.3.8
└─ 
╶─ No changes have been performed

ahh@cauldronborn ~ % head -n 20 /opt/local/include/zstd.h 
/*
 * Copyright (c) 2016-2020, Yann Collet, Facebook, Inc.
 * All rights reserved.
 *
 * This source code is licensed under both the BSD-style license (found in the
 * LICENSE file in the root directory of this source tree) and the GPLv2 (found
 * in the COPYING file in the root directory of this source tree).
 * You may select, at your option, one of the above-listed licenses.
 */
#if defined (__cplusplus)
extern "C" {
#endif

#ifndef ZSTD_H_235446
#define ZSTD_H_235446

/* ======   Dependency   ======*/
#include <limits.h>   /* INT_MAX */
#include <stddef.h>   /* size_t */

As requested opam config report:

# opam config report
# opam-version      2.0.7 
# self-upgrade      no
# system            arch=x86_64 os=macos os-distribution=macports os-version=10.15.5
# solver            builtin-mccs+glpk
# install-criteria  -removed,-count[version-lag,request],-count[version-lag,changed],-changed
# upgrade-criteria  -removed,-count[version-lag,solution],-new
# jobs              7
# repositories      1 (http) (default repo at ebf6df3c)
# pinned            0
# current-switch    default

closed time in 7 days

ahh

push eventocaml/opam-repository

Kate

commit sha 317e68b9bc6522de0bd0d3259f4074abdfa3aa8d

Make ocamlnet conflict with shell

view details

Marcello Seri

commit sha 006299e4500e3e2967065eeb233b086cddaa79fa

Merge pull request #17205 from kit-ty-kate/confl-shell-ocamlnet Make ocamlnet conflict with shell

view details

push time in 7 days

PR merged ocaml/opam-repository

Make ocamlnet conflict with shell

Should fix https://github.com/ocaml/opam-repository/issues/16072

+46 -0

1 comment

20 changed files

kit-ty-kate

pr closed time in 7 days

issue closedocaml/opam-repository

ocamlnet conflicts with jst shell

Both install ocamlfind package shell.

$ opam list | rg shell
shell                      v0.12.0        Yet another implementation of fork&exec and related functionality
$ ocamlfind query -format %v shell
v0.12.0
$ opam install ocamlnet
[...]
#=== ERROR while installing ocamlnet.4.1.7 ====================================#
# context     2.0.3 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org/#e7a02ec1
# path        ~/.opam/4.09.0/.opam-switch/build/ocamlnet.4.1.7
# command     ~/.opam/opam-init/hooks/sandbox.sh install make install
# exit-code   2
# env-file    ~/.opam/log/ocamlnet-17683-af3201.env
# output-file ~/.opam/log/ocamlnet-17683-af3201.out
### output ###
# [...]
# make[1]: Leaving directory '/home/ygrek/.opam/4.09.0/.opam-switch/build/ocamlnet.4.1.7/src/equeue'
# make[1]: Entering directory '/home/ygrek/.opam/4.09.0/.opam-switch/build/ocamlnet.4.1.7/src/shell'
# make[2]: Entering directory '/home/ygrek/.opam/4.09.0/.opam-switch/build/ocamlnet.4.1.7/src/shell'
# files=`../../tools/collect_files *.mli *.cmi *.cma *.cmxa *.cmxs *.a dll* META ` && \
# ocamlfind install shell $files
# ocamlfind: Package shell is already installed
#  - (file /home/ygrek/.opam/4.09.0/lib/shell/META already exists)
# make[2]: *** [../../Makefile.rules:179: install-findlib] Error 2
# make[2]: Leaving directory '/home/ygrek/.opam/4.09.0/.opam-switch/build/ocamlnet.4.1.7/src/shell'
# make[1]: *** [../../Makefile.rules:164: install] Error 2
# make[1]: Leaving directory '/home/ygrek/.opam/4.09.0/.opam-switch/build/ocamlnet.4.1.7/src/shell'
# make: *** [Makefile:58: install] Error 2

closed time in 7 days

ygrek

issue openedowlbarn/owl

Move documentation to ocamldoc

Since the newodoc, which should be out very soon, supports latex on html output, has extensible output formats (already supports also manpages for example), and does a rather nice job with module aliases and imports (see the recent ICFP talk for details and https://docs.mirage.io/ to see what it looks like: the heavily functorized core documentation shows immediately the improvement), I think it is time to update our mli to use ocamldoc syntax and odoc (master branch) to generate the documentation bundle with cross-linking.

created time in 7 days

pull request commentowlbarn/owl

base/Optimize_sig: partial doc improvement

The generation is external afaik. But I never touched it, so I am not 100% sure of its evolution. Let's do a patch without changing the markup for the moment. I will create a separate issue to discuss moving it to ocamldoc syntax

pveber

comment created time in 7 days

delete branch mseri/owl

delete branch : fix-access

delete time in 7 days

push eventowlbarn/owl

Marcello Seri

commit sha 9310a35e1eded121726cfb6c2fbdf5db3b97622c

Fix access (#543) * owl_operator: add also accessor operators To support call with single index Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * Add minimal tests Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * Matrix access operators: make more robust and add tuple-based get/set Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * improve error message Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

view details

push time in 7 days

PR merged owlbarn/owl

Fix access enhancement

The following works:

let (.%[;..]) = Bigarray.Genarray.get;;
let sum x y = x.%[1;2;3] + y.%[1;2];;

While the following both fail with Error: Unbound value .%[]:

let (.%[;..]) = Bigarray.Genarray.get;;
let sum x y z = x.%[1;2;3] + y.%[1;2] + z.%[1];;
let sum x y z = x.%[1;2;3] + y.%[1;2] + z.%[1;];;

Defining both, e.g.

let (.%[;..]) = Bigarray.Genarray.get;;
let (.%[]) a v = Bigarray.Genarray.get a [|v|];;
let sum x y z = x.%[1;2;3] + y.%[1;2] + z.%[1];;

everything seems to work.

In owl_operator we were not defining the single accessor.

+69 -6

11 comments

4 changed files

mseri

pr closed time in 7 days

startedpeterlefanulumsdaine/general-type-theories

started time in 7 days

startedorklann/PEP

started time in 7 days

startedNCAlgebra/NC

started time in 8 days

startedTRenghia/Iterative-construction-ak

started time in 8 days

PR opened akabe/ocaml-jupyter

Force opam to use "sh" sytanx

suggested by @Ilazki should solve https://github.com/akabe/ocaml-jupyter/issues/154

+1 -1

0 comment

1 changed file

pr created time in 8 days

push eventmseri/ocaml-jupyter

Marcello Seri

commit sha db2f63337135bc0e4faf34c9729b3b3f84747128

Force opam to use "sh" sytanx suggested by @Ilazki should solve https://github.com/akabe/ocaml-jupyter/issues/154

view details

push time in 8 days

pull request commentmirage/ocaml-cohttp

Conduit 3.0.0

Thanks @CraigFe!

Of course, we can discuss about this choice - but it will lead the default behavior of cohttp-lwt-unix when you want an HTTPS connection. We have several possibilities: 1. handle only *:80 and let the user to choose which implementation he wants 2. choose conduit-lwt-tls/ocaml-tls as the default way to initiate an HTTPS connection It implies a dependence to ocaml-tls (and remove lwt_ssl) 3. use conduit-lwt-tls and conduit-lwt-ssl (so OpenSSL and ocaml-tls) with a certain order of priorities It implies a dependence to ocaml-tls and lwt_ssl 4. stay with this behavior (default implementation is lwt_ssl)

I don't have a strong preference. I think 4 is better since it requires way fewer dependencies than using ocaml-tls (which on the other hand could already transitively be there).

I would not be against 1 in principle, but history tells us that then we would be flooded by requests on how to use tls. In that case, would it be possible, and would it make any sense, to mock what conduit is doing and introduce cohttp-lwt-unix-ssl, which is practically cohttp-lwt-unix + the https resolver, and then go with 1 for cohttp-lwt-unix? Then in the README and in the documentation we could show how to extend it with tls for users that prefer it, or we could add cohttp-lwt-unix-tls. The world is moving towards https first, but I worry that it could be an issue in cases in which you cannot install/update openssl. In that case a hard dependency on ssl would prevent you to use cohttp-lwt-unix.

@hcarty what do you think?

dinosaure

comment created time in 8 days

push eventmirage/ocaml-cohttp

Anurag Soni

commit sha df3dc2449609d33eb730db5c1d67b18480d32385

don't change the pipe when creating async body Leftover from #713. I missed this earlier, but now that we are consuming empty strings when we call `is_empty`, we don't need to change the pipe when constructing the async body.

view details

Marcello Seri

commit sha 45bf1a647d32b5f811ffdcaf9887490fa892e709

Merge pull request #714 from anuragsoni/pipe-cleanup don't change the pipe when creating async body

view details

push time in 8 days

PR merged mirage/ocaml-cohttp

don't change the pipe when creating async body

Leftover from #713. I missed this earlier, but now that we are consuming empty strings when we call is_empty, we don't need to change the pipe when constructing the async body.

The Lwt body's of_stream and cohttp's of_string_list were left untouched already so no change needed there.

+1 -1

1 comment

1 changed file

anuragsoni

pr closed time in 8 days

pull request commentmirage/ocaml-cohttp

don't change the pipe when creating async body

Well spotted! Thanks

anuragsoni

comment created time in 8 days

push eventocaml/opam-repository

Et7f3

commit sha f6c5d87658f918cd2657e978657ca54588dbe029

Fix dune lower-bound for headache It is unlikely that someone will use sur lower dune but it wasn't valid. CC: @pbaudin if you want to update your opam file https://github.com/Frama-C/headache/blob/master/headache.opam dune shouldn't be a build deps

view details

Kate

commit sha ff40cdd14e680c84c67b7622d2c291d16d24480d

headache.1.04: Fix opam syntax

view details

Marcello Seri

commit sha 3c21183b3efe70798a71050fe50186419816a3f0

Merge pull request #17189 from Et7f3/patch-2 Fix dune lower-bound for headache

view details

push time in 9 days

PR merged ocaml/opam-repository

Fix dune lower-bound for headache

It is unlikely that someone will use sur lower dune but it wasn't valid.

CC: @pbaudin if you want to update your opam file https://github.com/Frama-C/headache/blob/master/headache.opam dune shouldn't be a build deps

+1 -1

1 comment

1 changed file

Et7f3

pr closed time in 9 days

starteddavesnx/query-json

started time in 9 days

startedjhlyeung/rumin-web-clipper

started time in 9 days

pull request commentmirage/ocaml-cohttp

Conduit 3.0.0

Sorry @dinosaure I merged a PR that created some small merge conflicts. I will not be able to have a look before a couple of days, if they are not fixed by then I can take care of it

dinosaure

comment created time in 9 days

push eventmirage/ocaml-cohttp

Anurag Soni

commit sha a84e9e82870bfc1b8c9d3c90c05b6015e746d72a

filter empty strings in list/pipe/stream Signed-off-by: Anurag Soni <anurag@sonianurag.com>

view details

Anurag Soni

commit sha 3cdf8ff3c4847dced364859d2f4d642bddbab153

filter empty strings when checking for `is_empty` Signed-off-by: Anurag Soni <anurag@sonianurag.com>

view details

Marcello Seri

commit sha cc0cdb6023420d8c5781c6c03d55c00f42b11a10

Merge pull request #713 from anuragsoni/handle-empty-string-in-list-bodies filter empty strings in list/pipe/stream

view details

push time in 9 days

PR merged mirage/ocaml-cohttp

filter empty strings in list/pipe/stream

This is more of a question about what behavior should be expected for body. Right now Body.is_empty returns false if the body is comprised of [""], [""; ""] etc. Should this be considered empty? If so, it'll be difficult to enforce this without making the types for body private and enforcing that bodies get created via the public api.

This might be a scenario that only happens if someone misuses the api, but the fact that it can happen made me feel like at-least bringing this up as a question.

Signed-off-by: Anurag Soni anurag@sonianurag.com

+137 -19

3 comments

8 changed files

anuragsoni

pr closed time in 9 days

pull request commentmirage/ocaml-cohttp

filter empty strings in list/pipe/stream

I think this is good. If we notice that it excessively affects performances, we can have another look later on

anuragsoni

comment created time in 9 days

startedgoogle/makani

started time in 9 days

push eventocaml/opam-repository

Kate

commit sha 011b63d85d6fee7cb2ba48673793f6df5deb35b9

Travis: update macos to OCaml 4.10 (brew got updated)

view details

Marcello Seri

commit sha 1c52371d76d4a3241c6189de0805545dd939d2f1

Merge pull request #17187 from kit-ty-kate/travis-brew-4.10 Travis: update macos to OCaml 4.10 (brew got updated)

view details

push time in 10 days

PR merged ocaml/opam-repository

Travis: update macos to OCaml 4.10 (brew got updated)

Relies on https://github.com/ocaml/ocaml-ci-scripts/pull/343

+1 -1

1 comment

1 changed file

kit-ty-kate

pr closed time in 10 days

starteddibyendumajumdar/ravi

started time in 10 days

startedfoxlet/macOS-Simple-KVM

started time in 10 days

startedreason-association/reanalyze

started time in 10 days

push eventocaml/opam-repository

Kate

commit sha 8c6af027c1b009d0f044f88a0959af7c0c7c5803

Mitigate test dependency cycle (ocaml-opam/opam-depext#121) between base, dune-configurator and csexp

view details

Marcello Seri

commit sha 7db9f8071d006f1083d511868f3901ef3751936b

Merge pull request #17186 from kit-ty-kate/rm-test-cycle Mitigate test dependency cycle (ocaml-opam/opam-depext#121) between base, dune-configurator and csexp

view details

push time in 10 days

PR merged ocaml/opam-repository

Mitigate test dependency cycle (ocaml-opam/opam-depext#121) between base, dune-configurator and csexp

Fixes https://github.com/ocaml/opam-repository/issues/17152 Error also encountered by @emillon, @voodoos, @c-cube

This is only a mitigation until opam 2.1 comes out and is wildly used in CIs.

@jeremiedimino @mefyl Could this be ported to csexp upstream temporarily so that it does not happen in the future until opam 2.1 comes out?

+18 -12

0 comment

6 changed files

kit-ty-kate

pr closed time in 10 days

issue closedocaml/opam-repository

csexp with-test dependency cycle

$ opam install csexp --with-test
The actions to process have cyclic dependencies:
  - ∗ jst-config.v0.14.0 → ∗ time_now.v0.14.0 → ∗ ppx_inline_test.v0.14.1 → ∗ ppx_expect.v0.14.0 → ∗ csexp.1.3.1 → ∗ dune-configurator.2.7.1 → ∗ jst-config.v0.14.0
  - ∗ base.v0.14.0 → ∗ jst-config.v0.14.0 → ∗ time_now.v0.14.0 → ∗ ppx_inline_test.v0.14.1 → ∗ ppx_expect.v0.14.0 → ∗ csexp.1.3.1 → ∗ dune-configurator.2.7.1 → ∗ base.v0.14.0

No solution found, exiting

I believe this was introduced with dune-configurator.2.7.1's dependency on csexp.

closed time in 10 days

leviroth

startedarnog/mathlive

started time in 10 days

pull request commentocaml/opam-repository

[new release] simple63 (1)

I am not allowed to edit the file. I think we just need to remove {with-test} from the ppx dependency and then it is ready to go. Sorry for the double work

barko

comment created time in 10 days

pull request commentocaml/opam-repository

[new release] simple63 (1)

Looks like ppx_inline_test has to be htere evn when no test is run:

#=== ERROR while compiling simple63.1 =========================================#
# context              2.0.7 | linux/x86_64 | ocaml-base-compiler.4.11.1 | pinned(https://github.com/barko/simple63/releases/download/v1/simple63-v1.tbz)
# path                 ~/.opam/4.11/.opam-switch/build/simple63.1
# command              ~/.opam/4.11/bin/dune build -p simple63 -j 72 @install
# exit-code            1
# env-file             ~/.opam/log/simple63-23-4aef26.env
# output-file          ~/.opam/log/simple63-23-4aef26.out
### output ###
# File "dune", line 5, characters 19-34:
# 5 |   (preprocess (pps ppx_inline_test))
#                        ^^^^^^^^^^^^^^^
# Error: Library "ppx_inline_test" not found.
# Hint: try:
#   dune external-lib-deps --missing -p simple63 -j 72 @install
barko

comment created time in 10 days

push eventocaml/opam-repository

ziat

commit sha 257c38900670cc3b22f25bf74ba54d4ad0b004f7

Package apronext.1.0

view details

Marcello Seri

commit sha d457782898e885075b8ffc94f08e12ae2c21a6e3

Update packages/apronext/apronext.1.0/opam

view details

Marcello Seri

commit sha bd29fbd99854734ce22ab870a249f0a688c884ef

Merge pull request #17162 from ghilesZ/opam-publish-apronext.1.0 Package apronext.1.0

view details

push time in 10 days

PR merged ocaml/opam-repository

Package apronext.1.0 consider for merge

apronext.1.0

Apron extension An extension for the OCaml interface of the Apron library


  • Homepage: https://github.com/ghilesZ/apronext
  • Source repo: git+https://github.com/ghilesZ/apronext
  • Bug tracker: https://github.com/ghilesZ/apronext/issues

:camel: Pull-request generated by opam-publish v2.0.2

+27 -0

2 comments

1 changed file

ghilesZ

pr closed time in 10 days

pull request commentocaml/opam-repository

Package apronext.1.0

Thanks

ghilesZ

comment created time in 10 days

push eventocaml/opam-repository

Fabrice Le Fessant

commit sha 37f35444307dd63824caa7bf1bc2d9bf46a13cd0

ez_file requires re >= 1.8.0

view details

Marcello Seri

commit sha a5a33399201107386e13a69bca95379747ba1ba5

Merge pull request #17175 from lefessan/z-2020-09-11-ez_file-requires-re.1.8.0 ez_file requires re >= 1.8.0

view details

push time in 10 days

startedDataDog/scipio

started time in 11 days

pull request commentocaml/opam-repository

conf-libev depends on ocaml

Thanks. I’ll wait for the ocaml CI to run and if all is well merge

hcarty

comment created time in 12 days

push eventocaml/opam-repository

Ronan Le Hy

commit sha f557a3a4dbffe689f5afca3c4175b38a1f2a07ca

Package sklearn.sk0.22-0.3.0

view details

Marcello Seri

commit sha 83bd7c2890204e198c11b05eb80e756e22ce8f95

Merge pull request #16622 from lehy/opam-publish-sklearn.sk0.22-0.3.0 Package sklearn.sk0.22-0.3.0

view details

push time in 12 days

PR merged ocaml/opam-repository

Package sklearn.sk0.22-0.3.0 consider for merge

sklearn.sk0.22-0.3.0

Scikit-learn machine learning library for OCaml Scikit-learn machine learning library for OCaml These are bindings to Python's scikit-learn machine learning library:

  • Simple and efficient tools for predictive data analysis
  • Accessible to everybody, and reusable in various contexts
  • Built on NumPy, SciPy, and matplotlib
  • Open source, commercially usable - BSD license

  • Homepage: https://github.com/lehy/ocaml-sklearn
  • Source repo: git+https://github.com/lehy/ocaml-sklearn.git
  • Bug tracker: https://github.com/lehy/ocaml-sklearn/issues

:camel: Pull-request generated by opam-publish v2.0.2

+42 -0

9 comments

1 changed file

lehy

pr closed time in 12 days

Pull request review commentocaml/opam-repository

[new release] simple63 (1)

+opam-version: "2.0"+synopsis: "Integer compression and decompression module"+description:+  "Simple63 implements a module for compression and decompression of+   non-negative integer sequences. It is similar to the Simple-8b+   technique, adapted to work with OCaml's 63-bit integers."+maintainer: ["mika@illouz.net"]+authors: ["Mika Illouz"]+license: "BSD"+homepage: "https://github.com/barko/simple63"+doc: "https://barko.github.io/simple63/"+bug-reports: "https://github.com/barko/simple63/issues"+depends: [+  "dune" {> "1.5"}

Can you make this change also upstream?

barko

comment created time in 12 days

PullRequestReviewEvent

push eventbarko/opam-repository

Marcello Seri

commit sha 03a63e0166804e20b810bf206c39c8ae7ee8d8d7

Update packages/simple63/simple63.1/opam

view details

push time in 12 days

Pull request review commentocaml/opam-repository

Package apronext.1.0

+opam-version: "2.0"+maintainer: "Ghiles Ziat <ghiles.ziat@isae-supaero.fr"+authors: ["Ghiles Ziat <ghiles.ziat@isae-supaero.fr"]+homepage: "https://github.com/ghilesZ/apronext"+bug-reports: "https://github.com/ghilesZ/apronext/issues"+dev-repo: "git+https://github.com/ghilesZ/apronext"+build: [+  ["dune" "subst"] {pinned}+  ["dune" "build" "-p" name "-j" jobs]+]+run-test: [+  ["dune" "runtest" "-p" name "-j" jobs]+]+depends: [+  "dune" {build}

Can you make this fix upstream?

ghilesZ

comment created time in 12 days

PullRequestReviewEvent

push eventghilesZ/opam-repository

Marcello Seri

commit sha d457782898e885075b8ffc94f08e12ae2c21a6e3

Update packages/apronext/apronext.1.0/opam

view details

push time in 12 days

Pull request review commentocaml/opam-repository

Package apronext.1.0

+opam-version: "2.0"+maintainer: "Ghiles Ziat <ghiles.ziat@isae-supaero.fr"+authors: ["Ghiles Ziat <ghiles.ziat@isae-supaero.fr"]+homepage: "https://github.com/ghilesZ/apronext"+bug-reports: "https://github.com/ghilesZ/apronext/issues"+dev-repo: "git+https://github.com/ghilesZ/apronext"+build: [+  ["dune" "subst"] {pinned}+  ["dune" "build" "-p" name "-j" jobs]+]+run-test: [+  ["dune" "runtest" "-p" name "-j" jobs]+]+depends: [+  "dune" {build}
  "dune" {>= "2.1"}

Your dune-project file requires dune 2.1

ghilesZ

comment created time in 12 days

PullRequestReviewEvent

push eventocaml/opam-repository

Simon Cruanes

commit sha 4b0f647949c89faa3d653b61e3f4872c2df54dd2

2 packages from Gbury/mSAT at 0.8.3

view details

Marcello Seri

commit sha be4a22e52fa7ce8f6d235f88988fd782438e1392

Merge pull request #17163 from c-cube/opam-publish-msat-msat-bin.0.8.3 2 packages from Gbury/mSAT at 0.8.3

view details

push time in 12 days

PR merged ocaml/opam-repository

2 packages from Gbury/mSAT at 0.8.3

This pull-request concerns: -msat.0.8.3: Library containing a SAT solver that can be parametrized by a theory -msat-bin.0.8.3: SAT solver binary based on the msat library


  • Homepage: https://github.com/Gbury/mSAT
  • Source repo: git+https://github.com/Gbury/mSAT.git
  • Bug tracker: https://github.com/Gbury/mSAT/issues/

:camel: Pull-request generated by opam-publish v2.0.0

+55 -0

2 comments

2 changed files

c-cube

pr closed time in 12 days

pull request commentocaml/opam-repository

2 packages from Gbury/mSAT at 0.8.3

Looks good

c-cube

comment created time in 12 days

push eventocaml/opam-repository

Chet Murthy

commit sha 04543733eec9918df4ab3980d1f93f4816c0f1ab

publish new ledit version (compat w/ camlp5 >= 8.00) # Please enter the commit message for your changes. Lines starting # with '#' will be ignored, and an empty message aborts the commit. # # On branch opam-publish-ledit-2.05 # Changes to be committed: # new file: packages/ledit/ledit.2.05/files/ledit.install # new file: packages/ledit/ledit.2.05/opam #

view details

Marcello Seri

commit sha 7ee8ebb755ad50f8c12c1c296eb75c54fecd10bc

Merge pull request #17164 from chetmurthy/opam-publish-ledit-2.05 publish new ledit version (compat w/ camlp5 >= 8.00)

view details

push time in 12 days

PR merged ocaml/opam-repository

publish new ledit version (compat w/ camlp5 >= 8.00)

Please enter the commit message for your changes. Lines starting

with '#' will be ignored, and an empty message aborts the commit.

On branch opam-publish-ledit-2.05

Changes to be committed:

new file: packages/ledit/ledit.2.05/files/ledit.install

new file: packages/ledit/ledit.2.05/opam

+23 -0

2 comments

2 changed files

chetmurthy

pr closed time in 12 days

pull request commentocaml/opam-repository

publish new ledit version (compat w/ camlp5 >= 8.00)

Looks good. The failures are due to the CI incorrectly picking the spacetime version of the compiler

chetmurthy

comment created time in 12 days

more