Commit dba5d5fa 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 195a6ed6
......@@ -149,7 +149,7 @@ bug: $(OBJECTS) bug.cmo
$(LINK) $(INCLUDES) -o $@ $^
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
# (to compile it on a machine which is not the web server)
......
......@@ -142,7 +142,7 @@ binary_op_cst "<"
any any bool
(fun v1 v2 -> Value.vbool (Value.compare v1 v2 < 0));;
binary_op_cst "<="
binary_op_cst ">="
any any bool
(fun v1 v2 ->
Value.vbool (Value.compare v1 v2 >= 0));;
......
......@@ -11,7 +11,10 @@ The only available version for download is a beta release. We successfully compi
</p>
<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>
<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