Commit 9b020026 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2002-11-10 16:24:19+00:00
parent d90b21a4
...@@ -5,7 +5,7 @@ CLEAN_DIRS = $(DIRS) tools tests ...@@ -5,7 +5,7 @@ CLEAN_DIRS = $(DIRS) tools tests
# Objects to build # 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 = parser/lexer.cmo parser/location.cmo \
parser/wlexer.cmo \ parser/wlexer.cmo \
...@@ -141,5 +141,4 @@ include depend ...@@ -141,5 +141,4 @@ include depend
build_web: build_web:
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface" rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
install_web: install_web:
scp webiface cduce@iris:cgi-bin/cduce2 ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
ssh cduce@iris "chmod +s cgi-bin/cduce2"
...@@ -21,8 +21,8 @@ struct ...@@ -21,8 +21,8 @@ struct
type value = H.t type value = H.t
let cache = Hashtbl.create 63 let cache = Hashtbl.create 63
let values = ref (Array.create 63 None) let values = State.ref "Pool.values" (Array.create 63 None)
let counter = ref 0 let counter = State.ref "Pool.counter" 0
let clear () = let clear () =
Hashtbl.clear cache; Hashtbl.clear cache;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment