Online Help

The ConvertVersion( ) command converts back and forth between the .mla format and .lib format of Maple repository files.

When the archive is a .mla file, a file of the same name with the .lib format and extension is created.

If the file is a .lib file, a .mla file is created.

If the archive is a directory, all libraries contained in that directory are converted.

The order of first conversion is unspecified when a .lib and .mla file with the same name already exist in the directory being converted.

$\mathrm{with}\left(\mathrm{LibraryTools}\right)\:$

$\mathrm{LibLocation}≔\mathrm{cat}\left(\mathrm{kernelopts}\left(\mathrm{mapledir}\right)\,''/lib/myLib.mla''\right)$

$\mathrm{Create}\left(\mathrm{LibLocation}\right)$

$\mathrm{ConvertVersion}\left(\mathrm{LibLocation}\right)$

$\mathrm{FileTools}\left[\mathrm{Exists}\right]\left(\mathrm{LibLocation}\right)$

$\mathrm{true}$