module.make

SRC +=  src/map/mpm/mpmAbc.c \
    src/map/mpm/mpmCore.c \
    src/map/mpm/mpmDsd.c \
    src/map/mpm/mpmGates.c \
    src/map/mpm/mpmLib.c \
    src/map/mpm/mpmMan.c \
    src/map/mpm/mpmMap.c \
    src/map/mpm/mpmMig.c \
    src/map/mpm/mpmPre.c \
    src/map/mpm/mpmTruth.c \
    src/map/mpm/mpmUtil.c