Unverified Commit feb8f3e3 authored by Sofia Celi's avatar Sofia Celi

Add different machines and memcheck to travis

parent 008fcea5
language: c
matrix:
fast_finish: true
include:
- os: linux
dist: trusty
compiler: clang
- os: linux
dist: trusty
compiler: gcc
- os: linux
dist: precise
compiler: clang
- os: linux
dist: precise
compiler: gcc
sudo: required
before_install:
......@@ -8,4 +24,7 @@ before_install:
- sudo apt-get install valgrind --quiet --assume-yes
before_script: ./autogen.sh
script: ./configure && make && make test
script:
- ./autogen.sh && ./configure --disable-shared
- if [[ $(lsb_release -c -s) == "precise" ]]; then make ci; fi
- if [[ $(lsb_release -c -s) == "trusty" ]]; then make ci; fi
......@@ -4,6 +4,9 @@ SUBDIRS = src test pkgconfig
ACLOCAL_AMFLAGS = -I m4
.PHONY: gen_code gen_code_static test_ct todo lib sage sagetest all clean
ci: test mem-check
all-lib:
$(MAKE) all -f $(top_srcdir)/Makefile.original
......@@ -42,4 +45,4 @@ microbench: check
# NB: you must compile with XCFLAGS=-DNDEBUG or you will get lots of extra warnings due to assert(stuff).
mem-check: check
valgrind $(top_srcdir)/test/test_ct
valgrind $(top_srcdir)/test/test
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