Use add_mp_library for asl-core and asl.