[r2002-11-10 16:24:19 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 16:24:19+00:00

Makefile

@@ -5,7 +5,7 @@ CLEAN_DIRS = $(DIRS) tools tests
 
 # Objects to build
 
-MISC = misc/pool.cmo misc/encodings.cmo misc/state.cmo
+MISC = misc/state.cmo misc/pool.cmo misc/encodings.cmo
 
 PARSER = parser/lexer.cmo parser/location.cmo \
          parser/wlexer.cmo \
@@ -141,5 +141,4 @@ include depend
 build_web:
 	rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
 install_web:
-	scp webiface cduce@iris:cgi-bin/cduce2
-	ssh cduce@iris "chmod +s cgi-bin/cduce2"
+	ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"

misc/pool.ml

@@ -21,8 +21,8 @@ struct
   type value = H.t
 
   let cache    = Hashtbl.create 63
-  let values   = ref (Array.create 63 None)
-  let counter  = ref 0
+  let values   = State.ref "Pool.values" (Array.create 63 None)
+  let counter  = State.ref "Pool.counter" 0
 
   let clear () =
     Hashtbl.clear cache;