Skip to content
Browse files

[update] opadoc

  • Loading branch information...
1 parent 806717f commit 56edc59e7a22194fbf774d7c1e908986a28c0367 Mathieu Barbin committed Mar 28, 2011
Showing with 6 additions and 8 deletions.
  1. +6 −7 Makefile
  2. +0 −1 src/colset.opa
View
13 Makefile
@@ -4,11 +4,9 @@
.PHONY: doc
OPA=opa.exe
+OPADOC=opadoc-gen.exe
-opack=tictactopa.opack
-conf=tictactopa.conf
-
-tictactopa=$(opack) $(conf)
+tictactopa=tictactopa.opack
all: tictactopa.exe
@@ -19,11 +17,12 @@ hello_grid.exe:
$(OPA) $(OPAOPT) src/hello_grid.opa -o hello_grid.exe
doc:
- $(OPA) $(OPAOPT) $(tictactopa) --generate-interface
- opadoc.exe src multitub
+ $(OPA) $(OPAOPT) $(tictactopa) --generate-interface-and-compile -o tictactopa.exe
+ $(OPADOC) src multitub
clean:
- rm -rf *.opx
+ rm -rf *.opx *.opx.broken
rm -f *.exe
rm -rf _build _tracks
rm -f *.log
+ rm -f *.apix
View
1 src/colset.opa
@@ -75,7 +75,6 @@ type ColSet.t = int
* Folding intersection, but ignoring sets which
* make the intersection become empty.
**/
-
specialize(setA, setB) =
inter = inter(setA, setB)
if is_empty(inter) then setA else inter

0 comments on commit 56edc59

Please sign in to comment.
Something went wrong with that request. Please try again.