Updating: very very minorly

.gitignore

@@ -7,6 +7,8 @@
 *.exe
 *_?ats.o
 *_?ats.c
+*_?ats.js
+*_?ats.py
 test*_out.js
 test*_out.py
 test*_out1.js

contrib/ashalkhakov/.travis.yml

@@ -0,0 +1 @@
+../../.travis.yml

contrib/ashalkhakov/travis-ci/install-ats2.sh

@@ -0,0 +1,49 @@
+#!/usr/bin/env sh
+
+######################################
+
+ATS2VER=$1
+ATS2PACK=\
+ATS2-Postiats-$ATS2VER
+ATS2PACKTGZ=$ATS2PACK.tgz
+
+######################################
+
+MV=mv
+TARZX="tar zx"
+WGETQ="wget -q"
+
+ATS2LANGURL_srcfg=\
+https://sourceforge.net/projects/ats2-lang
+
+######################################
+#
+ATS2PACKTGZURL_download=\
+"\
+${ATS2LANGURL_srcfg}/files\
+/ats2-lang/ats2-postiats-$ATS2VER/$ATS2PACKTGZ"
+#
+ATS2PACKTGZURL_download=\
+"\
+http://ats-lang.sourceforge.net\
+/IMPLEMENT/Postiats/ATS2-Postiats-gmp-$ATS2VER.tgz"
+#
+######################################
+#
+# HX-2019-06:
+# ATS2PACKgmp is the default
+#
+# ATS2PACKint=\
+# ATS2-Postiats-int-$ATS2VER
+# ATS2PACKgmp=\
+# ATS2-Postiats-gmp-$ATS2VER
+#
+######################################
+
+( \
+cd $HOME && mkdir -p ATS2 && \
+$WGETQ -O- $ATS2PACKTGZURL_download | $TARZX -C ATS2 --strip 1)
+
+######################################
+
+###### end of [install-ats2.sh] ######

contrib/ashalkhakov/travis-ci/travis.yml

@@ -0,0 +1,53 @@
+---
+os:
+  - linux
+
+language: c
+
+node_js:
+  - "5.10.1"
+
+env:
+  - export NODE_VERSION="5.10.1"
+
+addons:
+  apt:
+    packages:
+      - libgc-dev
+      - libgmp-dev
+
+before_install:
+  - date
+  - export PATSHOME=${HOME}/ATS2
+  - export PATH=${PATH}:${PATSHOME}/bin
+  - export XATSHOME=${TRAVIS_BUILD_DIR}
+  - export GCC=gcc
+  - export CLANG=clang
+
+install:
+  # $XATSHOME/travis-ci/install-ats2.sh 0.4.0
+  # $XATSHOME/travis-ci/install-ats2.sh 0.4.1
+  - $XATSHOME/travis-ci/install-ats2.sh 0.4.2
+
+after_install:
+  - date
+
+before_script:
+  - date
+
+script:
+  # Building ATS2
+  - cd ${PATSHOME}
+  - ./configure&&make CC=${GCC} all
+  # Building Xanadu
+  - cd ${XATSHOME}/srcgen
+  - echo 'running unit-tests...'
+  - (cd xutl/TEST && make testall)
+  - (cd xutl/TEST/Posix && make testall)
+  - echo 'building ATS-Xanadu...'
+  - (cd xats && make all)
+  - echo 'running integration tests...'
+  - (cd xats/TEST && make XATSOPT=./../xatsopt testall)
+
+after_script:
+  - date