Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/lutin

2 jobs for 1.0.0 in 5 minutes and 9 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
failed build #242889

00:05:09

 
  Test
skipped test_opam_test #242890
 
Name Stage Failure
failed
build Build
W: Failure("Command ''/home/opam/.opam/4.12/bin/ocamlfind' query -format %d rdbg-plugin > '/tmp/oasis-2ef324.txt'' terminated with error code 2")
ocamlfind: Package `camlp4' not found
W: Failure("Command ''/home/opam/.opam/4.12/bin/ocamlfind' query -format %d camlp4 > '/tmp/oasis-4dd0be.txt'' terminated with error code 2")
E: Cannot find findlib package camlp4
E: Cannot find findlib package rdbg-plugin (>= 1.177)
E: Failure("2 configuration errors")
make: *** [Makefile:25: configure] Error 1
Cleaning up file based variables
ERROR: Job failed: exit code 1