Define correct gui and server libraries name (without lib.* prefix and *.so expansion...

diff --git a/resources/GHS3DPRLPlugin.xml b/resources/GHS3DPRLPlugin.xml
index 6eaa2f64f543384a303fc494d41cddf45e031c5b..b5552f58f4a4d9bc4c8194646e4a930e9a262f74 100755 (executable)
--- a/resources/GHS3DPRLPlugin.xml
+++ b/resources/GHS3DPRLPlugin.xml
@@ -7,8 +7,8 @@
 
 <meshers-group name="GHS3DPRL"
                resources="GHS3DPRLPlugin"
-               server-lib="libGHS3DPRLEngine.so"
-               gui-lib="libGHS3DPRLPluginGUI.so">
+               server-lib="GHS3DPRLEngine"
+               gui-lib="GHS3DPRLPluginGUI">
   <hypotheses>
     <hypothesis type="GHS3DPRL_Parameters"
                label-id="GHS3DPRL Parameters"