--- SConstruct.orig	2008-09-23 13:40:37.000000000 -0700
+++ SConstruct	2008-12-12 23:14:27.000000000 -0800
@@ -390,16 +390,16 @@
 # exclude the following files
 for fname in ['util/saveimage.c', 'util/test*.c']:
     for file in glob(CuddPath(fname)):
         cudd_resources.remove(file)
 
-cudd_shared = shared_object(cudd_resources)
+#cudd_shared = shared_object(cudd_resources)
 
-libCudd = env.StaticLibrary(CuddPath(cudd_name), cudd_resources)
-DefaultBuild(libCudd)
+#libCudd = env.StaticLibrary(CuddPath(cudd_name), cudd_resources)
+#DefaultBuild(libCudd)
 
-shared_resources += cudd_shared
+#shared_resources += cudd_shared
 
 def SymlinkReadableLibname(files):
     """ Generate symbolik link with more readable library name."""
     
     suffix = env.subst('$SHLIBVERSIONSUFFIX')
@@ -432,11 +432,11 @@
     slib = VersionatedSharedLibrary
 #if env['PLATFORM']=="darwin":
 #    slib=env.LoadableModule
 
 
-libCuddShared = slib(CuddPath(cudd_name), list(shared_resources))
+#libCuddShared = slib(CuddPath(cudd_name), list(shared_resources))
 
 
 ######################################################################
 # Stuff for building PolyBoRi's C++ part
 ######################################################################
@@ -492,16 +492,16 @@
 CPPPATH=env['CPPPATH']+[GBPath('src')]
 #print env['CCFLAGS']
 #print env['CXXFLAGS']
 for t in tests_pb:
     env.Program(TestsPath(t), 
-        [TestsPath('src', t + ".cc"),  libpb] + libCudd, 
+        [TestsPath('src', t + ".cc"),  libpb], #+ libCudd, 
         CPPPATH=CPPPATH, LIBS = env['LIBS'] + pyconf.libs)
 
 for t in tests_gb:
     env.Program(TestsPath(t), 
-        [TestsPath('src', t + ".cc"), libpb, gb]+ libCudd, 
+        [TestsPath('src', t + ".cc"), libpb, gb], #+ libCudd, 
         CPPPATH=CPPPATH)
 
 
 LIBS = env['LIBS']+['boost_python']+USERLIBS
 
@@ -566,11 +566,11 @@
     for (f,n) in installable_python_modules:
         DefaultBuild(env.Install(polybori_modules, f))
 
 
     
-    to_append_for_profile = [libpb, gb] + libCudd
+    to_append_for_profile = [libpb, gb] #+ libCudd
     #to_append_for_profile=File('/lib/libutil.a')
     env.Program(PyPBPath('profiled'), wrapper_files+to_append_for_profile,
             LDMODULESUFFIX=".so",SHLIBPREFIX="", 
             LIBS = LIBS + ["python" + str(pyconf.version)] + USERLIBS + pyconf.libs,
             CPPPATH=CPPPATH, CPPDEFINES=env["CPPDEFINES"]+["PB_STATIC_PROFILING_VERSION"])
@@ -745,11 +745,11 @@
         srcdistri = presrcdistri
                 
     env.AlwaysBuild(srcdistri)
     env.Alias('distribute', srcdistri)
     
-devellibs = [libpb,gb] + libCudd + libpbShared + libgbShared + libCuddShared
+devellibs = [libpb,gb] + libpbShared + libgbShared
 readabledevellibs = SymlinkReadableLibname(devellibs)
 
 # Installation for development purposes
 if 'devel-install' in COMMAND_LINE_TARGETS:
     DevelInstPath = PathJoiner(env['DEVEL_PREFIX'])
@@ -757,13 +757,13 @@
     SymlinkReadableLibname(env.Install(DevelInstPath('lib'), devellibs))
     
     env.Install(DevelInstPath('include/polybori'), glob(PBPath('include/*.h')))
     env.Install(DevelInstPath('include/polybori/groebner'),
                 glob(GBPath('src/*.h')))
-    env.Install(DevelInstPath('include/cudd'), cudd_headers)
-    if not(external_m4ri):
-        env.Install(DevelInstPath('include/polybori/M4RI'), glob('M4RI/*.h'))
+    #env.Install(DevelInstPath('include/cudd'), cudd_headers)
+    #if not(external_m4ri):
+    #    env.Install(DevelInstPath('include/polybori/M4RI'), glob('M4RI/*.h'))
     env.Alias('devel-install', DevelInstPath())
 
 
 env.Append(COPYALL_PATTERNS = ['*'])