Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[tictac] minor update to the build

  • Loading branch information...
commit 844da83559d0fb38f3a44bcc577e83dd334c6b53 1 parent 90a7efd
Mathieu Barbin authored
Showing with 10 additions and 6 deletions.
  1. +6 −5 Makefile
  2. +4 −1 tictactopa.opack
View
11 Makefile
@@ -3,17 +3,14 @@
.PHONY: doc
-OPA=s3opa.exe
-SEPARATION=--separated --autobuild
+OPA=opa.exe
tictactopa=tictactopa.opack
conf=tictactopa.conf
all: tictactopa.exe
-sep:
- $(OPA) $(OPAOPT) $(SEPARATION) --conf $(conf) $(tictactopa) -o tictactopa.exe
-
+# for compiling under emacs, like an ide for poor
loop:
while [ 1 ] ; do make -B all || true ; sleep 5 ; done
@@ -23,3 +20,7 @@ tictactopa.exe:
doc:
$(OPA) $(OPAOPT) $(tictactopa) --generate-interface
opadoc.exe src multitub
+
+clean:
+ rm -rf *.opx
+ rm tictactopa.exe
View
5 tictactopa.opack
@@ -1,5 +1,8 @@
-# sources for tictactopa
+# warning policy
--warn-error root
+# conf
+tictactopa.conf
+# sources for tictactopa
src/colset.opa
src/grid.opa
src/game.opa
Please sign in to comment.
Something went wrong with that request. Please try again.