OCaml Forge

Detail: [#784] Oasis exits while loading libpcre.so.0

Bugs: Browse | Download .csv | Monitor

[#784] Oasis exits while loading libpcre.so.0

Date:
2010-10-22 22:10
Priority:
3
State:
Open
Submitted by:
Paolo Donadeo (paolo_donadeo)
Assigned to:
Sylvain Le Gall (gildor-admin)
Product:
OASIS
Due in version:
0.2.1
Resolution:
Fixed
Severity:
blocker
Version:
0.2.0
Component:
OASIS
Operating System:
Linux
 
URL:
Summary:
Oasis exits while loading libpcre.so.0

Detailed description
I just installed OASIS 0.2.0 using the installer for Linux. The installation ran as expected and installed everything under /usr/local/oasis-0.2.0/*.

When, from the shell, I invoke oasis, it exits complaining about a library. This is the transcript:

paolo@atreides ~
~ $ oasis
/usr/local/oasis-0.2.0/bin/../libexec/oasis: error while loading shared libraries: libpcre.so.0: cannot open shared object file: No such file or directory

It's actually true that on my system libpcre.so.0 is not present, but a /lib/libpcre.so.3 is present and it's a symlink to /lib/libpcre.so.3.12.1, as usual.

I'm running on a Ubuntu 10.04.1 LTS, 64bit, and the libpcre installed is the default one for this architecture: libpcre3_7.8-3build1_amd64.deb

The usual fix of creating a symlink works:

# cd /lib
# ln -s libpcre.so.3.12.1 libpcre.so.0
# cd lib32
# ln -s libpcre.so.3.12.1 libpcre.so.0
# ldconfig -v

Followup

Message
Date: 2012-07-06 08:34
Sender: Sylvain Le Gall

We don't depend anymore on pcre, so this problem will not exist in post oasis 0.3.0 installer.
Date: 2010-10-23 09:52
Sender: Sylvain Le Gall

No, you were right in the your initial comment. We use a very old libpcre (the one from CentOS 5).

The best option, at hand, is to provide the libpcre in the installer.

Date: 2010-10-22 22:12
Sender: Paolo Donadeo

Wait a moment! While I'm writing this note I notice that libpcre.so.0 is actually present in /lib64, but oasis is a 32 bit executable. Maybe this is definitively a Debian/Ubuntu bug?

Attached Files:

Changes:

Field Old Value Date By
ResolutionNone2012-07-06 08:34gildor-admin
Due in versionNone2010-11-04 11:40gildor-admin
assigned_tonone2010-10-23 09:52gildor-admin