ADD_LIBRARY(transitiveClosure OBJECT
    transitiveClosure.c
    transitiveClosure_driver.cpp
    )
