Leif Warner
976563b072
Remove travis deps unused since llvm & java backend removals.
...
* Removed llvm stuff (llvm + libgc)
* Removed java stuff (xml + alex, which was used to build language-java)
* Removed unused UTF8 import (what the heck)
2015-07-07 11:56:24 -07:00
Niklas Larsson
110a144250
Allow unlimited backjumps in solving deps
2015-05-16 15:49:15 +02:00
David Raymond Christiansen
2a58905de0
fix cppcheck cmdline
2015-03-19 20:46:03 +01:00
David Raymond Christiansen
ebf98385cf
Only check for errors with cppcheck in Travis
2015-03-19 18:14:42 +01:00
David Raymond Christiansen
88623c71ea
Give Travis's cppcheck an explicit file list
2015-03-17 11:17:00 +01:00
David Raymond Christiansen
e4358f0966
Fix cppcheck error and make more robust
...
cppcheck now excludes imported library code from other projects and (for
now) the Windows RTS. Everything also passes, so #1907 is superseded and
fulfilled.
2015-03-16 21:18:54 +01:00
David Raymond Christiansen
b0c03c1fb9
Merge branch 'testing/cstaticanalysis' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-testing/cstaticanalysis
2015-03-16 20:57:03 +01:00
David Raymond Christiansen
d8142b0d92
Add multiple GHC versions to Travis
2015-02-27 16:19:39 +01:00
Ahmad Salim Al-Sibahi
a54ea34af8
Added more options to cppcheck
...
Added multithreads (since Travis supports 1.5) and enabled all reporting.
2015-02-10 19:58:03 +01:00
Ahmad Salim Al-Sibahi
42fe4f7e2b
Added then to bash if
2015-02-10 19:15:08 +01:00
Ahmad Salim Al-Sibahi
95e42228f4
Added static analysis to C RTS
2015-02-10 19:06:48 +01:00
Edwin Brady
ef75f3ca30
Disable backend-dependent test
2015-01-20 14:54:39 +00:00
Norbert Melzer
9892636350
enable CI builds in travis-script
2015-01-04 18:10:50 +01:00
Echo Nolan
fe286d3cc2
Don't build Idris twice in CI
...
This is a pretty decent speedup. :) We need cabal register so idris-llvm
can find the Idris library to link against. Otherwise cabal will
helpfully resolve the dependency by downloading Idris from Hackage for
us.
2014-11-27 16:54:57 -08:00
Markus Pfeiffer
f40f8d844c
Make sure we use the official version of idris-llvm for testing
2014-09-20 00:14:07 +01:00
Markus Pfeiffer
8adcb0ae01
Only build llvm backend if testing llvm
2014-09-20 00:13:10 +01:00
Markus Pfeiffer
de45d29d0b
Adapt travis testing
2014-09-20 00:13:10 +01:00
Markus Pfeiffer
674b58fae5
Factor out LLVM backend
...
The LLVM backend is now available as a seperate project on github.
2014-09-20 00:13:09 +01:00
David Raymond Christiansen
bc0af860e4
Install newer alex from Hackage for tests
2014-09-12 17:11:55 +02:00
David Raymond Christiansen
4fde861573
Add a Travis target for make lib_doc
...
This makes sure that we haven't broken idrisdoc generation for the library.
Fixes #1442
2014-08-05 09:48:47 +02:00
David Raymond Christiansen
249523ddb5
List packages in Travis
2014-07-23 09:07:05 +02:00
Leif Warner
9b13bd4b37
data-lens is not a dep of idris
...
lens is, but that isn't available in the binary repos of the old version
of Ubuntu Travis-CI runs.
2014-06-23 21:22:18 -07:00
David Raymond Christiansen
fc0c55c7fe
Don't compile before building docs in Travis
...
This makes the build go faster, and Haddock has to type check everything anyway.
2014-05-05 13:52:48 +02:00
David Raymond Christiansen
e2c414866b
Make Travis build Haddock
2014-05-05 12:55:38 +02:00
David Raymond Christiansen
ce414b82a6
Regression test for infinite regress in executor
...
This test will fail if laziness doesn't prevent infinite recursion in
the executor. It's implemented using `expect` instead of `timeout` in
the hope that it will make life easier for non-GNU systems.
2014-04-07 09:17:55 +02:00
Edwin Brady
ca564fd523
Remove java tests from travis
...
They are currently getting in the way... we need some way of separating
the backends since we clearly can't reliably support every one that
anyone might want to add.
2014-03-20 11:56:51 +00:00
Edwin Brady
d8dce875fb
Add js tests to travis script
2014-02-04 08:28:08 +00:00
Edwin Brady
15ed733194
(Temporarily) Remove haddock tests from travis
2013-12-11 21:15:56 +00:00
Edwin Brady
a6599cf534
Add a test_c target for testing C back end only
2013-11-30 14:10:26 +00:00
Tom Prince
8ebc6be406
Add some system-level ghc packages.
2013-11-27 15:01:38 -07:00
Tom Prince
1c6a992cd4
Distribute travis builds.
2013-11-27 14:11:55 -07:00
Edwin Brady
c553f6afd7
Ask travis to install optional dependencies
2013-10-31 21:33:46 +00:00
Edwin Brady
defc795de5
LLVM and FFI flags default to off
...
This is primarily so that installation is easier for new users. Users
who want these features can of course turn them on easily enough!
(Ideally, we want binary packages which will switch everything on.)
2013-10-31 20:58:23 +00:00
Edwin Brady
abf46fe29f
Use make -j2 test on travis
2013-10-29 09:53:40 +00:00
Jan Bessai
068f3d49b2
Reenable Java tests in Travis
2013-10-25 10:17:22 +02:00
Edwin Brady
a068cb596b
Merge pull request #523 from Ralith/fix-llvm-install
...
LLVM-related fixes
2013-10-13 08:10:20 -07:00
Benjamin Saunders
03adfb0276
Test LLVM codegen on travis to reduce future breakage
2013-10-08 15:27:09 -07:00
Benjamin Saunders
054821afe5
Skip confirmation prompt
2013-10-07 12:08:53 -07:00
Benjamin Saunders
692b45475a
Properly factor cabal workflow
2013-10-07 12:02:20 -07:00
Benjamin Saunders
8a43c18025
Use llvm-3.3 from a PPA now that llvm.org is no longer providing it
2013-10-07 11:49:20 -07:00
Edwin Brady
8ae2240c99
(Temporarily) remove java tests from travis
...
I don't have time to actively maintain the java backend, and the
Nat->BigInt optimisation has broken it. I'll put the tests back when
this is fixed.
2013-09-14 13:46:25 +01:00
Edwin Brady
67739f0125
Merge pull request #434 from JanBessai/IndependentJavaRTSVersion
...
Independent java rts version
2013-08-03 09:47:16 -07:00
Jan Bessai
e9a1612e0a
Reactivate Java test, since new rts version is published
2013-08-02 03:22:42 +02:00
Benjamin Saunders
d64094c5e4
Make .travis.yml repository-independent
2013-07-31 21:57:30 -07:00
Edwin Brady
91d36495a1
Temporarily remove java tests from .travis.yml
...
Because they don't work anyway. Will reinstate when the java build
isn't version number dependent, somehow.
2013-07-30 09:45:54 +01:00
Jan Bessai
c5d58844fa
Remove Java RTS build in favor of the version hosted on Maven Central
2013-07-16 22:00:03 +02:00
Jan Bessai
fbd6471e80
Travis: enable cabal flags for Java in cabal execution instead of config.mk
2013-07-09 23:12:54 +02:00
Jan Bessai
f7132df962
Add java tests to travis.yml
2013-07-09 22:52:57 +02:00
Edwin Brady
36e9a0aade
Fix .travis.yml
...
Somehow I broke it in the last merge
2013-07-04 22:08:19 +01:00
Benjamin Saunders
c0938d4c20
Don't extract sdist verbosely
2013-07-01 16:24:04 -07:00
