about ckit-lib, unbound structure: PPLib in path PPLib.ppToString

I'm using the ckit lib in smlnj.However , I encountered this trouble:
types.sml:84.8-84.24 Error: unbound structure: PPLib in path
PPLib.ppToString

My sources.cm looks like:

Group is
$smlnj/smlnj-lib/smlnj-lib.cm
$SMLNJ-BASIS/basis.cm
$smlnj/smlnj-lib/pp-lib.cm
$smlnj/internal/cm-sig-lib.cm
$/pgraph.cm
$smlnj/internal/srcpath-lib.cm
$smlnj/cm/cm.cm
$/ckit-lib.cm
 types.sml
 track.sml
 output.sml
 GDAFile.sml
 drive.sml
 read-config.sml

The compilation output looks like this:

Standard ML of New Jersey v110.62 [built: Wed Jun 13 11:27:07 2007]
- CM.make "sources.cm";
[autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
[scanning sources.cm]
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable]
[library $smlnj/smlnj-lib/pp-lib.cm is stable]
[library $/ckit-lib.cm is stable]
[parsing (sources.cm):types.sml]
[creating directory .cm/SKEL]
[parsing (sources.cm):track.sml]
[parsing (sources.cm):output.sml]
[parsing (sources.cm):GDAFile.sml]
[parsing (sources.cm):drive.sml]
drive.sml:175.1-175.51 Warning: definition not tracked by CM
[parsing (sources.cm):read-config.sml]
[library $SMLNJ-LIB/PP/pp-lib.cm is stable]
[library $html-lib.cm(=$SMLNJ-LIB/HTML)/html-lib.cm is stable]
[compiling (sources.cm):read-config.sml]
[creating directory .cm/GUID]
[creating directory .cm/x86-unix]
[code: 7844, data: 344, env: 789 bytes]
[compiling (sources.cm):types.sml]
types.sml:84.8-84.24 Error: unbound structure: PPLib in path
PPLib.ppToString
val it = false : bool



It seems that the ckit-lib is not included so the PPLib.ppToString is not
found.But I have include de $/ckit-lib.cm in the sources.cm file.
Anyone can tell me howto solve this problem?
-- 
View this message in context: http://www.nabble.com/about-ckit-lib%2Cunbound-structure%3A-PPLib-in-path-PPLib.ppToString-tf3912961.html#a11094016
Sent from the SML/NJ mailing list archive at Nabble.com.


-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/