Mercury-Language/mercury

make uninstall leaves files behind

Closed this issue · 1 comments

Repro steps:

  • ./configure && make install mmc from an srcdist tarball,
  • make uninstall in the build tree.

Actual result:

$ tree /usr/local/mercury-14.01.1
/usr/local/mercury-14.01.1
├── bin
│   ├── mcov
│   ├── mdice
│   ├── mdprof_cgi
│   ├── mdprof_create_feedback
│   ├── mdprof_dump
│   ├── mdprof_report_feedback
│   ├── mdprof_test
│   ├── mercury_compile
│   ├── mercury_profile
│   ├── mfilterjavac
│   ├── mslice
│   ├── mtc_diff
│   └── mtc_union
├── info
├── lib
└── man
    └── man1
        ├── c2init.1
        ├── mdb.1
        ├── mercury_config.1
        ├── mgnuc.1
        ├── ml.1
        ├── mmake.1
        ├── mmc.1
        ├── mprof.1
        ├── mprof_merge_runs.1
        └── mtags.1

5 directories, 23 files

Expected result: complete removal.

Fixed in rotd-2016-01-29.