diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2012-11-22 09:20:29 +0000 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2012-11-22 09:20:29 +0000 |
| commit | 2bad56364d381a345998c646d53266994eebe0b9 (patch) | |
| tree | df89cf69b711ae325128e4aba2978b17bb08516b /prj_install.pl | |
| parent | ef6295b53f15f0de1835fcd83e028bc178d386d8 (diff) | |
| download | MPC-2bad56364d381a345998c646d53266994eebe0b9.tar.gz | |
Thu Nov 22 09:19:24 UTC 2012 Johnny Willemsen <jwillemsen@remedy.nl>
* prj_install.pl:
Extended shared library installation for debian packaging
Diffstat (limited to 'prj_install.pl')
| -rwxr-xr-x | prj_install.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prj_install.pl b/prj_install.pl index 632c22ea..a1135b4d 100755 --- a/prj_install.pl +++ b/prj_install.pl @@ -186,7 +186,7 @@ sub determineSpecialName { my $fh = new FileHandle(); if (opendir($fh, $odir)) { foreach my $file (grep(!/^\.\.?$/, readdir($fh))) { - if ($file =~ /^lib$name\.(a|so|sl|dylib)/ || + if ($file =~ /^lib$name(-[0-9]+(\.[0-9]+)*)?\.(a|so|sl|dylib)/ || $file =~ /^(lib)?$name.*\.(dll|lib)$/i) { push(@libs, "$dir$insdir$binarydir$file"); } |