# PPL-&ppl-version; 64 Bit

## Installation of PPL

Finally, create a stub header in the place of the originals:

    cat > /usr/include/ppl.h << "EOF"
    /* ppl.hh - Stub Header  */
    #ifndef __STUB__PPL_HH__
    #define __STUB__PPL_HH__

    #include <sgidefs.h>

    #if (_MIPS_SIM == _ABIO32)
    # include "ppl-32.hh"
    #elif (_MIPS_SIM == _ABIN32)
    # include "ppl-n32.hh"
    #elif (_MIPS_SIM == _ABI64)
    # include "ppl-64.hh"
    #endif

    #endif /* __STUB__PPL_HH__ */
    EOF