src/part1/examples/repo/txn/clocks/package/build.cfg

if (pkg.$vers.length >= 3) {
    pkg.$vers.push(Packages.xdc.services.global.Vers.getDate(xdc.csd() + '/..'));
}

pkg.build.libraries = [
    'lib/txn.clocks.a64P',
];

pkg.build.libDesc = [
    [
        'lib/txn.clocks.a64P',
        {
            target: 'ti.targets.C64P'
        }
    ],
];
if ('suffix' in xdc.om['xdc.IPackage$$LibDesc']) {
    pkg.build.libDesc['lib/txn.clocks.a64P'].suffix = '64P';
}