=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/ext.c,v retrieving revision 1.43 retrieving revision 1.44 diff -u -p -r1.43 -r1.44 --- OpenXM/src/kan96xx/Kan/ext.c 2012/12/23 01:27:54 1.43 +++ OpenXM/src/kan96xx/Kan/ext.c 2013/09/22 01:26:07 1.44 @@ -1,4 +1,4 @@ -/* $OpenXM: OpenXM/src/kan96xx/Kan/ext.c,v 1.42 2010/08/30 04:17:17 takayama Exp $ */ +/* $OpenXM: OpenXM/src/kan96xx/Kan/ext.c,v 1.43 2012/12/23 01:27:54 takayama Exp $ */ #include #include #include @@ -7,6 +7,8 @@ #include #include #include +#include +#include #include "datatype.h" #include "stackm.h" #include "extern.h" @@ -177,6 +179,11 @@ struct object Kextension(struct object obj) else { system(KopString(getoa(obj,1))); exit(0); } */ + }else if (strcmp(key,"date")==0) { + if (size != 1) errorKan1("%s\n","[(date)] extension."); + struct timeval tm; + gettimeofday(&tm,NULL); + rob = KpoString(ctime(&((time_t)tm.tv_sec))); }else if (strcmp(key,"defaultPolyRing")==0) { if (size != 2) errorKan1("%s\n","[(defaultPolyRing) n] extension."); rob = KdefaultPolyRing(getoa(obj,1));