Re: Adding SONAME to a shared object in KLEE

To: Marko Dimjašević <marko@dimjasevic.net>
Cc: "debian-mentors@lists.debian.org" <debian-mentors@lists.debian.org>
Subject: Re: Adding SONAME to a shared object in KLEE
From: Gianfranco Costamagna <costamagnagianfranco@yahoo.it>
Date: Wed, 17 Feb 2016 08:11:00 +0000 (UTC)
Message-id: <[🔎] 1680606839.8696324.1455696660789.JavaMail.yahoo@mail.yahoo.com>
Reply-to: Gianfranco Costamagna <costamagnagianfranco@yahoo.it>
In-reply-to: <[🔎] 1455695990.3048.39.camel@dimjasevic.net>
References: <[🔎] 1455695990.3048.39.camel@dimjasevic.net>

Hi,



>llvm[3]: Installing Release+Asserts Shared
>Library /home/docker/klee-1.1.0/debian/klee/usr/lib/libkleeRuntest.so
>/usr/bin/install: cannot stat '/home/docker/klee-1.1.0/Release
>+Asserts/lib/libkleeRuntest.so': No such file or directory



it is called libkleeRuntest.so.1 or whatever now, so it doesn't surprise me this error.

g.

Reply to:

References:
- Re: Adding SONAME to a shared object in KLEE
  - From: Marko Dimjašević <marko@dimjasevic.net>

Prev by Date: Re: Adding SONAME to a shared object in KLEE
Next by Date: Bug#813933: RFS: sawfish/1:1.11-1 [ITA] -- window manager for X11
Previous by thread: Re: Adding SONAME to a shared object in KLEE
Next by thread: Bug#813404: RFS: groonga/5.1.2-1
Index(es):
- Date
- Thread