To build ARM library go to console directory and follow instructions under ‘ARM library build’ in console/README.build.