diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index b6c15434f..000000000 --- a/.travis.yml +++ /dev/null @@ -1,99 +0,0 @@ -dist: bionic - -env: - global: - secure: "XBCnCpNZ9WfkvDLkwMeW/D/TphPpqDJQdSsC9UOK9HFR3rgBmCof36DlirrZeefF6YKTr3Exkbl/7jDUK7hAGoa1c5NbXqYFp4ne3pSo77G3jHbC0zEP5k2F15NKSo8P9x0QsKzi7Mg1liratz7u65jRqURaZG4kFMw4f0NfVGU=" - -matrix: - include: - - env: CHECKED=python - language: python - addons: - apt: - sources: - - sourceline: 'ppa:avsm/ppa' - packages: - - aspcud - - opam - - env: CHECKED=js - addons: - apt: - sources: - - sourceline: 'ppa:avsm/ppa' - packages: - - aspcud - - opam - - ocaml-nox - - env: USE_TK=1 - addons: - apt: - sources: - - sourceline: 'ppa:avsm/ppa' - packages: - - aspcud - - opam - - ocaml-nox - - tk-dev - - env: CHECKED=native - addons: - apt: - sources: - - sourceline: 'ppa:avsm/ppa' - packages: - - aspcud - - opam - - ocaml-nox - - gnuplot-nox - - poppler-utils - - graphviz - - texlive-latex-recommended - - texlive-fonts-recommended - - texlive-pictures - - tex4ht - - os: osx - env: CHECKED=MacOS - osx_image: xcode11 - addons: - homebrew: - packages: - - opam - - ocaml - - env: CHECKED=windows - addons: - apt: - sources: - - sourceline: 'ppa:avsm/ppa' - packages: - - aspcud - - opam - - gcc-mingw-w64-x86-64 - -install: - - sh -c "if [ '$CHECKED' = windows ] || [ '$CHECKED' = python ] ; then opam init -a --compiler=4.07.0 ; else opam init -a ; fi" - - sh -c "if [ '$CHECKED' = windows ] ; then opam remote add cross-windows git://github.com/ocaml-cross/opam-cross-windows ; fi" - - eval $(opam env) && opam install -y dune num yojson lwt fmt logs re - - sh -c "if [ '$CHECKED' = native ] ; then opam install -y odoc ; fi" - - sh -c "if [ '$USE_TK' = 1 ] ; then opam install -y labltk ; fi" - - sh -c "if [ '$TRAVIS_OS_NAME' = osx ] || [ '$CHECKED' = js ] || [ '$CHECKED' = windows ] ; then opam install -y lwt_react tyxml-ppx js_of_ocaml-lwt js_of_ocaml-tyxml atdgen ; fi" - - sh -c "if [ '$CHECKED' = python ] ; then opam install -y atdgen cohttp-lwt-unix ; fi" - - sh -c "if [ '$CHECKED' = python ] ; then pip install -v . nose ; fi" - - sh -c "if [ '$CHECKED' = windows ] ; then opam install -y ocaml-windows64 num-windows atdgen-runtime-windows lwt-windows fmt-windows logs-windows re-windows ; fi" - -script: - - make all - - sh -c "if [ '$CHECKED' = native ] ; then make doc_html ; fi" - - sh -c "if [ '$CHECKED' = native ] ; then make -j2 check ; fi" - - sh -c "if [ '$CHECKED' = python ] ; then dune build && nosetests -v tests/kappy ; fi" - - sh -c "if [ '$CHECKED' = js ] ; then make Kappapp.tar.gz site/index.html ; fi" - - sh -c "if [ '$TRAVIS_OS_NAME' = osx ] ; then make Kappapp.app ; fi" - - sh -c "if [ '$CHECKED' = windows ] ; then make KappaBin.zip ; fi" - -after_success: - - 'if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then ( umask 077 && openssl aes-256-cbc -K $encrypted_942f740de87b_key -iv $encrypted_942f740de87b_iv -in dev/travis-deploy.enc -out dev/travis-deploy -d ) ; fi' - -deploy: - provider: script - script: dev/update-web.sh "$CHECKED" - skip_cleanup: true - on: - branch: master diff --git a/README.md b/README.md index 891fd820b..3f3f669e0 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ src="https://rawgithub.com/Kappa-Dev/KaSim/master/man/img/KaSim-Logo.svg" alt="KaSim logo" title="Stochastic Kappa Simulator" align="right" height="90"/> # KappaTools -[![Build Status](https://api.travis-ci.com/Kappa-Dev/KappaTools.svg?branch=master)](https://travis-ci.com/Kappa-Dev/KappaTools) +[![Build Status](https://github.com/Kappa-Dev/KappaTools/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/Kappa-Dev/KappaTools/actions/workflows/ci.yml?query=branch%3Amaster) [![Join the chat at https://gitter.im/Kappa-Dev/KaSim](https://badges.gitter.im/Kappa-Dev/KaSim.svg)](https://gitter.im/Kappa-Dev/KaSim?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge) KaSim is a stochastic simulator for rule-based models written in Kappa. KaSa is diff --git a/dev/travis-deploy.enc b/dev/travis-deploy.enc deleted file mode 100644 index d8044ad01..000000000 Binary files a/dev/travis-deploy.enc and /dev/null differ diff --git a/dev/update-web.sh b/dev/update-web.sh deleted file mode 100755 index 4a4b171a4..000000000 --- a/dev/update-web.sh +++ /dev/null @@ -1,86 +0,0 @@ -#!/bin/sh - -set -e - -empty_or_create () -{ - [ -d "$1" ] && find "$1" -mindepth 1 -delete || mkdir -p "$1" -} - -PLAYGROUND=$(mktemp -d -t kappaXXXX) -git clone --depth 10 --quiet -b master git@github.com:Kappa-Dev/Kappa-Dev.github.io.git ${PLAYGROUND} -case $1 in - native ) - empty_or_create ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH} - cp man/*.htm man/*.css ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/ - cp man/KaSim_manual.pdf ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}.pdf - mkdir ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/img - cp man/img/*.png ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/img/ - mkdir ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/gkappa_img - cp man/gkappa_img/*.png ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/gkappa_img/ - mkdir ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/generated_img - cp man/generated_img/*.png ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/generated_img/ - - empty_or_create ${PLAYGROUND}/docs/KaSim-API-${TRAVIS_BRANCH} - cp -r _build/default/_doc/_html/kappa-library/* ${PLAYGROUND}/docs/KaSim-API-${TRAVIS_BRANCH}/ - - scp -r \ - ${PLAYGROUND}/docs travis@api.kappalanguage.org:/var/www/tools.kappalanguage.org/ - ;; - js ) - empty_or_create ${PLAYGROUND}/try - cp site/* ${PLAYGROUND}/try/ - sed '/<\/head>/i \ - \ - \ - \ - ' site/index.html > ${PLAYGROUND}/try/index.html - scp -o UserKnownHostsFile=dev/deploy_hosts -i dev/travis-deploy -r \ - ${PLAYGROUND}/try travis@api.kappalanguage.org:/var/www/tools.kappalanguage.org/ - empty_or_create ${PLAYGROUND}/viz - cp viz/* ${PLAYGROUND}/viz/ - scp -o UserKnownHostsFile=dev/deploy_hosts -i dev/travis-deploy -r \ - ${PLAYGROUND}/viz travis@api.kappalanguage.org:/var/www/tools.kappalanguage.org/ - [ -d ${PLAYGROUND}/binaries ] || mkdir ${PLAYGROUND}/binaries - cp Kappapp.tar.gz ${PLAYGROUND}/binaries/ - scp ${PLAYGROUND}/binaries/Kappapp.tar.gz \ - travis@api.kappalanguage.org:/var/www/tools.kappalanguage.org/nightly-builds/ - ;; - python ) - ;; - '' ) - ;; - windows ) - [ -d ${PLAYGROUND}/binaries ] || mkdir ${PLAYGROUND}/binaries - cp KappaBin.zip ${PLAYGROUND}/binaries/ - scp ${PLAYGROUND}/binaries/KappaBin.zip \ - travis@api.kappalanguage.org:/var/www/tools.kappalanguage.org/nightly-builds/ - ;; - MacOS ) - [ -d ${PLAYGROUND}/binaries ] || mkdir ${PLAYGROUND}/binaries - cp Kappapp.app.zip ${PLAYGROUND}/binaries/ - scp ${PLAYGROUND}/binaries/Kappapp.app.zip \ - travis@api.kappalanguage.org:/var/www/tools.kappalanguage.org/nightly-builds/ - ;; -esac -COMMITNAME=$(git show --pretty=oneline -s --no-color) -cd ${PLAYGROUND} -git config user.email "kappa-dev@listes.sc.univ-paris-diderot.fr" -git config user.name "KappaBot" -git add ${PLAYGROUND}/docs/KaSim-manual-${TRAVIS_BRANCH}/ ${PLAYGROUND}/try/ \ - ${PLAYGROUND}/docs/KaSim-API-${TRAVIS_BRANCH}/ && \ - { git commit -m "Sync website for $1 with Kappa-Dev/KaSim@${TRAVIS_COMMIT}" && \ - git push -q origin master || echo "No Changes" ; } -cd ${HOME} && rm -rf ${PLAYGROUND}