Skip to content

GitLab

E
examples
Commit c8b4bdc5 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

stop overwriting make uninstall

parent 3e4ad011
Pipeline #6729 passed with stage
    in 6 minutes and 21 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 0 additions and 5 deletions
    Makefile.coq.local deleted 100644 → 0
    View file @ 3e4ad011
    uninstall::
    @# This makes sure we also delete stale files in the destination directory
    $(HIDE)df="$(COQLIBINSTALL)/`$(COQMKFILE) -destination-of "theories/base.v" $(COQLIBS)`" &&\
    echo "RM in $$df" &&\
    if [ -d "$$df" ]; then find "$$df" \( -name "*.vo" -o -name "*.v" -o -name "*.glob" -o \( -type d -empty \) \) -print -delete; fi
    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