Skip to content
Snippets Groups Projects
Commit cd8cbebe authored by erwan's avatar erwan
Browse files

ci: psq needs to be installed now

parent f48d6a09
No related branches found
No related tags found
No related merge requests found
Pipeline #90471 failed
Stage: build
    Stage: release
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 2 additions and 2 deletions
      .gitlab-ci.yml
      + 2
      − 2
      View file @ cd8cbebe
      ...@@ -11,8 +11,8 @@ build: ...@@ -11,8 +11,8 @@ build:
      - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository" - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
      - eval `opam config env` - eval `opam config env`
      - sudo apt-get update - sudo apt-get update
      - opam depext -y lustre-v6 lutin lablgtk3 functory - opam depext -y lustre-v6 lutin lablgtk3 functory psq
      - opam install -y dune ocamlgraph lutin lablgtk3 functory - opam install -y dune ocamlgraph lutin lablgtk3 functory psq
      - make - make
      - make install - make install
      - make test - make test
      ......
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment