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

[r2003-11-18 10:35:12 by afrisch] Bug fix for <=, >=

Original author: afrisch
Date: 2003-11-18 10:35:12+00:00
parent 3cde9a19
...@@ -149,7 +149,7 @@ bug: $(OBJECTS) bug.cmo ...@@ -149,7 +149,7 @@ bug: $(OBJECTS) bug.cmo
$(LINK) $(INCLUDES) -o $@ $^ $(LINK) $(INCLUDES) -o $@ $^
webiface: $(WEBIFACE:.cmo=.$(EXTENSION)) webiface: $(WEBIFACE:.cmo=.$(EXTENSION))
$(LINK) $(INCLUDES) -o $@ $^ -ccopt -static $(LINK) -verbose $(INCLUDES) -o $@ $^ -ccopt -static
# webiface is made static to be able to move it more easily # webiface is made static to be able to move it more easily
# (to compile it on a machine which is not the web server) # (to compile it on a machine which is not the web server)
......
...@@ -142,7 +142,7 @@ binary_op_cst "<" ...@@ -142,7 +142,7 @@ binary_op_cst "<"
any any bool any any bool
(fun v1 v2 -> Value.vbool (Value.compare v1 v2 < 0));; (fun v1 v2 -> Value.vbool (Value.compare v1 v2 < 0));;
binary_op_cst "<=" binary_op_cst ">="
any any bool any any bool
(fun v1 v2 -> (fun v1 v2 ->
Value.vbool (Value.compare v1 v2 >= 0));; Value.vbool (Value.compare v1 v2 >= 0));;
......
...@@ -11,7 +11,10 @@ The only available version for download is a beta release. We successfully compi ...@@ -11,7 +11,10 @@ The only available version for download is a beta release. We successfully compi
</p> </p>
<ul> <ul>
<li><a href="download/cduce-0.1.1.tar.gz">Version 0.1.1</a></li> <li><a href="download/cduce-0.1.1.tar.gz">Version 0.1.1 (for OCaml
3.06)</a></li>
<li><a href="download/cduce-0.1.1-ocaml307.tar.gz">Version 0.1.1 (for
OCaml 3.07)</a></li>
</ul> </ul>
<p> <p>
......
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