Project

General

Profile

Actions
Copy link

Bug #8311

closed

Why3: failure in package uninstall script (cannot find install-sh)

Added by Denis Efremov over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Mikhail Mandrykin
Start date:
07/25/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

При удалении, обновлении, перекомпиляции происходит ошибка:

[WARNING] failure in package uninstall script, some files may remain:
          # opam-version 1.2.2
          # os           darwin
          # command      ./configure --prefix /Users/work/.opam/4.04.2
          # path         /Users/work/.opam/4.04.2/build/why3.astraver.0.87.3
          # compiler     4.04.2
          # exit-code    1
          # env-file     /Users/work/.opam/4.04.2/build/why3.astraver.0.87.3/why3-9180-865888.env
          # stdout-file  /Users/work/.opam/4.04.2/build/why3.astraver.0.87.3/why3-9180-865888.out
          # stderr-file  /Users/work/.opam/4.04.2/build/why3.astraver.0.87.3/why3-9180-865888.err
          ### stdout ###
          # [...]
          # checking executable suffix... <none>
          # checking for gcc... gcc
          # checking whether the C compiler works... yes
          # checking for C compiler default output file name... a.out
          # checking for suffix of executables...
          # checking whether we are cross compiling... no
          # checking for suffix of object files... o
          # checking whether we are using the GNU C compiler... yes
          # checking whether gcc accepts -g... yes
          # checking for gcc option to accept ISO C89... none needed
          ### stderr ###
          # configure: error: cannot find install-sh, install.sh, or shtool in "." "./.." "./../.."

Actions
Copy link
 #1

Updated by Denis Efremov over 6 years ago

fixed in commit 50f96dac5f5473413716fe1372b7ab54adc1f026

diff --git a/packages/why3/why3.astraver.0.87.3/opam b/packages/why3/why3.astraver.0.87.3/opam
index 8501e14..32eacd3 100644
--- a/packages/why3/why3.astraver.0.87.3/opam
+++ b/packages/why3/why3.astraver.0.87.3/opam
@@ -30,6 +30,7 @@ build: [
 install: [make "install" "install-lib"]
 remove: [
   ["autoconf"]
+  ["./automake.sh"]
   ["./configure" "--prefix" prefix]
   [make "uninstall"]
 ]

Actions
Copy link
 #2

Updated by Denis Efremov over 6 years ago

  • Status changed from New to Closed
Actions
Copy link

Also available in: Atom PDF