Commit d5863263 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-11-11 00:40:54 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-11 00:40:54+00:00
parent 205215f8
# Source directories # Source directories
DIRS = misc parser typing types runtime driver DIRS = misc parser typing types runtime driver toplevel
CLEAN_DIRS = $(DIRS) tools tests CLEAN_DIRS = $(DIRS) tools tests
# Objects to build # Objects to build
...@@ -142,3 +142,17 @@ build_web: ...@@ -142,3 +142,17 @@ build_web:
rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface" rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
install_web: install_web:
ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2" ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
open Printf open Printf
open Parser open Parser
type line_buffer = type line_buffer =
{ mutable buffer : string ; { mutable buffer : string ;
...@@ -49,9 +50,7 @@ let refill_buf buffer len = ...@@ -49,9 +50,7 @@ let refill_buf buffer len =
let rec scan line_buf count = let rec scan line_buf count =
let element = count-(line_buf.abs_pos) in let element = count-(line_buf.abs_pos) in
(*test: print_int count;print_char ':'; print_int line_buf.abs_pos; if element < line_buf.length then (* send to stream the character *)
print_char ':'; print_int element; print_char ' '; *)
if element < line_buf.length then (* send to stream the character *)
Some line_buf.buffer.[element] Some line_buf.buffer.[element]
else ( (* read another line*) else ( (* read another line*)
line_buf.abs_pos <- (line_buf.abs_pos) + line_buf.length; line_buf.abs_pos <- (line_buf.abs_pos) + line_buf.length;
...@@ -91,9 +90,11 @@ let loop = ...@@ -91,9 +90,11 @@ let loop =
(* JUST FOR TESTING 2 (* JUST FOR TESTING 2
let loop = let loop x =
fprintf stdout " CDuce version 0.2a1\n\n"; fprintf stdout " CDuce version 0.2a1\n\n";
let line_buffer = let line_buffer =
{ buffer = " "; { buffer = " ";
...@@ -105,11 +106,11 @@ let loop = ...@@ -105,11 +106,11 @@ let loop =
Sys.catch_break true; Sys.catch_break true;
while true do while true do
first_line := true; first_line := true;
try Parser.prog input ; () with _ -> () Parser.prog input
done done
*)
*)
(* THE REAL LOOP (* THE REAL LOOP
let loop ppf = let loop ppf =
......
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