fdvm_include=dvm/fdvmh/include/fdvmh/
fdvm_sources=dvm/fdvmh/tools/fdvmh/
sage_include_1=dvm/fdvmh/include/sage/lib/
sage_include_2=dvm/fdvmh/include/sage/h/
libdb_sources=dvm/fdvmh/lib/sage/db/
sage_sources=dvm/fdvmh/lib/sage/sage/
sagepp_sources=dvm/fdvmh/lib/sage/sage++/
parser_sources=dvm/fdvmh/tools/parser/
pppa_sources=dvm/pppa/src/
zlib_sources=dvm/third-party/Zlib/