module.make 477 Bytes
Newer Older
Alan Mishchenko committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
SRC +=  src/misc/mvc/mvc.c \
    src/misc/mvc/mvcApi.c \
    src/misc/mvc/mvcCompare.c \
    src/misc/mvc/mvcContain.c \
    src/misc/mvc/mvcCover.c \
    src/misc/mvc/mvcCube.c \
    src/misc/mvc/mvcDivide.c \
    src/misc/mvc/mvcDivisor.c \
    src/misc/mvc/mvcList.c \
    src/misc/mvc/mvcLits.c \
    src/misc/mvc/mvcMan.c \
    src/misc/mvc/mvcOpAlg.c \
    src/misc/mvc/mvcOpBool.c \
    src/misc/mvc/mvcPrint.c \
    src/misc/mvc/mvcSort.c \
    src/misc/mvc/mvcUtils.c