Skip to content
Snippets Groups Projects
Commit c4816a95 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

Merge branch '31-makefile-issues' into 'master' 

Resolve "[makefile] issues"

Closes #31

See merge request dev/why3find!26
parents 8f7fa03b eb96f50c
No related branches found
No related tags found
1 merge request!26Resolve "[makefile] issues"
Pipeline #56632 passed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 4 additions and 2 deletions
    Makefile
    + 4
    − 2
    View file @ c4816a95
    ......@@ -2,7 +2,7 @@
    # --- Why3 Package Manager
    # --------------------------------------------------------------------------
    .PHONY: all build clean test lint headers install
    .PHONY: all build clean test lint headers install uninstall
    all: build
    ......@@ -23,6 +23,8 @@ headers:
    install:
    dune install 2> /dev/null
    codesign -s - `which why3find`
    uninstall:
    dune uninstall 2> /dev/null
    # --------------------------------------------------------------------------
    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