.travis.yml

language:       generic
sudo:           required
dist:           bionic
git:
  submodules:   false

before_install: 
  - sudo apt-get update -qq
install:
  # install a needed perl module	
    #  first install an installer
    -  sudo PERL_MM_USE_DEFAULT=1 cpan App::cpanminus
    #  then install the module
    -  sudo PERL_MM_USE_DEFAULT=1 cpanm String::ShellQuote IPC::System::Simple
  # install Ubuntu packages
    - sudo add-apt-repository --yes ppa:avsm
    - sudo apt-get install --yes --quiet ocaml opam aspcud time libgtk2.0-dev libgtksourceview2.0-dev emacs
  # set up opam
    - opam init --yes --no-setup
    - eval $(opam config env)
    - opam install lablgtk camlp5 num --yes
before_script:
  - pushd ..
  - git clone --no-checkout https://github.com/UniMath/UniMath
  - cd UniMath
  - git checkout master
  - git show
  - make PACKAGES="Foundations MoreFoundations Combinatorics Algebra NumberSystems CategoryTheory SubstitutionSystems" install
  - export PATH=$PATH:$PWD/sub/coq/bin/
  - popd
script:
  - make