Permalink
Browse files

Switch to trimmed libraries for travis build

and
add utf-8 to make doc
add custom build for travis
  • Loading branch information...
polazarus committed Nov 27, 2013
1 parent 6987d7e commit 0289bee0e722162a3353bce9547bc3fb269578f3
Showing with 7 additions and 6 deletions.
  1. +6 −5 .travis.yml
  2. +1 −1 Makefile.in
View
@@ -10,8 +10,8 @@ install:
- opam install -y ocamlfind camlidl
script:
- ./configure
- make
- make install
- make $MAKEFLAGS
- make $MAKEFLAGS install
cache:
- apt
- directories:
@@ -20,8 +20,9 @@ cache:
- $HOME/.opam
env:
matrix:
- OCAML_VERSION=4
- OCAML_VERSION=3
- OCAML_VERSION=4 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-trimmed.tar.gz MAKEFLAGS='CUSTOM=yes'
- OCAML_VERSION=4 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-static-gmp-trimmed.tar.gz MAKEFLAGS='CUSTOM=yes'
- OCAML_VERSION=4 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-trimmed.tar.gz
- OCAML_VERSION=3 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-trimmed.tar.gz
global:
- YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu.tar.gz
- secure: Lxq+PRBVglR7Knt9lH5heFY4O0cFOYvHpCTuqog5l3APUnEOiPhskjUVQbBAi4YaKtl0vpZrDy0/UDnSYxLc5MVgvr0DDFtt8+JzARisCjCWoIiU82PIh7v2cehMGh5NWdLtQBpqvCS4qZAZMca6YwnkW7IyymTxYfGGfh3s+MQ=
View
@@ -200,7 +200,7 @@ doc: doc/index.html
doc/index.html: *.mli
@mkdir -p $(dir $@)
$(OCAMLDOC) -html $^ -d $(dir $@)
$(OCAMLDOC) -html $^ -charset utf-8 -d $(dir $@)
@touch $@
endif

0 comments on commit 0289bee

Please sign in to comment.