libDSCCODCEngine_la_SOURCES = DSCCODCENG.cxx
nodist_libDSCCODCEngine_la_SOURCES =
libDSCCODCEngine_la_CXXFLAGS = -I$(top_builddir)/idl $(KERNEL_INCLUDES)
-libDSCCODCEngine_la_LIBADD = -L$(top_builddir)/idl -lDSCCODE
+libDSCCODCEngine_la_LIBADD = -L$(top_builddir)/idl -lDSCCODE $(KERNEL_LIBS)