travis: removing 'opam config env'

Make early Moscow ML regression tests run on Travis

Give up on sending Travis notifications to hol-builds

There doesn't seem to be any easy way of getting this to work. I
believe it will now e-mail authors of commits instead, which isn't so
bad.

Turn off Travis CI notifications to the IRC #hol channel

Make even shorter build seq. file for OpenTheory builds on Travis

Get Travis to test (once) with Moscow ML as well as Poly/ML

Give Travis' opentheory build less to do

I hope this will stop it from exceeding Travis's cut-off limits for
long builds.

Try to get Travis to build opentheory tool and test --otknl

Rewrite before_install.sh as install-poly.sh

Promote the contents of before_install.sh to be the de facto way of
setting up PolyML.

To make arguments for the script less confusing, use "T" and "F"
instead of empty/non-empty environment variables.
Also rename the environment arguments to be prefixed by POLY instead
of suffixed as I consider this more clear.

The renaming is in conformance with other {verb}-{noun} constructs in
/developers.

Don't install default apt (old/stale) OCaml (use opam's instead)

Still not seeing holyhammer building on Travis

This attempt runs the opam command to update the PATH in the current
shell.

Remove c++ package from Travis tests (given 423c04e)

Another attempt at getting opam on Travis

Seems like package opam doesn't automatically bring in package ocaml

Try to set up Travis environment to test holyhammer

Need both ocamlfind and ocaml's num package, and the straightforward
way to do this seems to be to use the opam machinery.

Remove a redundant Travis CI test

Was testing the same sequence with selftest on and off; given that the
former tests a superset of the latter, there doesn't seem much point
in having the latter chewing up resources.

Fix regression whereby git-poly wasn't allowed to fail in CI test

Fix another .travis.yml error

Remove some Unicode that crept into .travis.yml file

This broke most of the CI tests

Incorporate new c/line option-handling into build

The build in relocation option doesn't do anything at the moment.

Include a new Travis build

Mostly so that comparison (of timing at least) is possible between the
git poly option and the default 5.6.

Attempt to allow git-based poly CI tests to fail

Allow OSX Travis builds to fail

The virtual OSX environment seems so flakey at the moment (possibly in
conjunction with PolyML 5.6 bugs) that it doesn't seem worth having
failures there affect final verdict.

Delete OSX git Poly test on Travis

As per http://permalink.gmane.org/gmane.comp.lang.ml.polyml.general/1313
the errors seem to be function of the Travis setup rather than our code.

Travis to check with latest git version of poly

Turn off sudo: none in Travis builds

Though recommended this seems to be causing our builds to get killed by
the CI infrastructure.

Specify apt-based packages in .travis.yml file

Don't attempt to install them separately as this requires sudo commands.

Fix .travis.yml syntax error

Try to use Travis' new "container-based" tech

As per page at

http://docs.travis-ci.com/user/migrating-from-legacy/

More tweaks for Travis on OSX

Test Travis' support for tests on OSX

s/chat/irc/ in Travis notification config

Try to get Travis's IRC notifications working (correct syntax helps)

Tweak/experiment-with the way Travis sends build notifications.

Travis: try building with a fresh svn checkout of poly.

Make Travis build core system in -expk as well as -stdknl.

Also shortened the "built with Poly in /usr/bin" test-case. If this
can get as far as building bossLib, then there's no reason to imagine
it failing later on. And why stress the free service at Travis unduly?

Travis: try to capture some more examples in our automatic builds

Travis: test expk as well as standard kernel.

Travis: try to get some examples tested

Do this by not building some theories under src, using a custom build
sequence.

Travis: selftest is taking too long; remove it for the moment

Travis: another attempt to build Poly in both user- and root-land.

Travis: test PolyML installed as root and non-root both

Try varying environment variables to get multiple Travis test instances.

See if selftest 1 will go through before Travis times out the build

Travis: set LD_LIBRARY_PATH variable.

Correct typo in .travis.yml

Experimenting with Travis integration (see travis-ci.org)