Skip to content

GitLab

Commit 278b8f74 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files
Options

fix owl installation

parent abd362e5
Pipeline #9633 passed with stage
    in 12 minutes and 15 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    install.sh
    View file @ 278b8f74
    ......@@ -114,5 +114,5 @@ unzip owl-$V.zip -d /usr/local/share/
    rm -f owl-$V.zip
    for i in delag dra2dpa fltl2dgmra ltl2da ltl2dgra \
    ltl2dpa ltl2dra nba2dpa nba2ldba owl owk-server synth; do
    ln -s /usr/local/share/own-$V/bin/$i /usr/local/bin/
    ln -s /usr/local/share/owl-$V/bin/$i /usr/local/bin/
    done
    Markdown is supported
    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