return the name of the relevant external shared object
ExternalLibraryName( basename, precision )
string or name; denotes which library is relevant
optional HWFloat or SWFloat
The ExternalLibraryName(basename) function returns the string that represents the name of the relevant external shared object (library) with the correct platform filename extension or polycapitalization.
The library name (Maple string) is platform dependent. In Windows, the returned name has ".dll" appended to it. In all other operating systems, the library name has "lib" prepended and ".so" appended to it.
If precision is set to SWFloat, the suffix "mp" is appended to the basename of the shared library. This facilitates having hardware float and multi-precision software float libraries with the same base name.
Download Help Document
What kind of issue would you like to report? (Optional)