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

ci: add ledit as a dependance (used in doc and test)

parent 677d5799
No related merge requests found
Pipeline #118392 failed
Stage: build
    Stage: release
      Stage: deploy
        Hide whitespace changes
        Inline Side-by-side
        sasa.opam
        + 1
        − 0
        View file @ 2831e9a7
        ...@@ -23,6 +23,7 @@ depends: [ ...@@ -23,6 +23,7 @@ depends: [
        "lutils" "lutils"
        "psq" "psq"
        "functory" "functory"
        "ledit"
        "rdbg" { >= "1.194" } "rdbg" { >= "1.194" }
        "lustre-v6" "lustre-v6"
        "lutin" "lutin"
        ......
        test/bfs-spanning-tree/Makefile
        + 2
        − 2
        View file @ 2831e9a7
        # Time-stamp: <modified the 22/06/2022 (at 10:17) by Erwan Jahier> # Time-stamp: <modified the 05/12/2022 (at 10:24) by Erwan Jahier>
        DECO_PATTERN="0:root.ml 1-:p.ml" DECO_PATTERN="0:root.ml 1-:p.ml"
        -include ../Makefile.dot -include ../Makefile.dot
        ...@@ -27,7 +27,7 @@ lurette0: fig51_noinit.cmxs fig51_noinit.lut fig51_noinit_oracle.lus ...@@ -27,7 +27,7 @@ lurette0: fig51_noinit.cmxs fig51_noinit.lut fig51_noinit_oracle.lus
        -oracle "lv6 fig51_noinit_oracle.lus -n oracle" -oracle "lv6 fig51_noinit_oracle.lus -n oracle"
        test_rdbg: fig51_noinit.ml fig51_noinit.lut test_rdbg: fig51_noinit.ml fig51_noinit.lut
        ledit rdbg --sasa -sut "sasa fig51_noinit.dot " -go --input some_session rdbg --sasa -sut "sasa fig51_noinit.dot " -go --input some_session
        clean: genclean clean: genclean
        rm -f fig*oracle.lus fig5*.ml rm -f fig*oracle.lus fig5*.ml
        ......
        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