INSTALL(
    FILES
        oitimetool
        supervisor
    PERMISSIONS
        OWNER_READ
        OWNER_EXECUTE
    DESTINATION
        "${INSTALLATION_DIR}/lib")
INSTALL(
    FILES
        pin-2.14-71313-gcc.4.4.7-linux.tar.gz
        pin-2.12-53271-gcc.4.4.7-ia32_intel64-linux.tar.gz
        oitimetool.so
        supervisor.so
    DESTINATION
        "${INSTALLATION_DIR}/lib")
