<commit_before>#!/bin/bash
set -e
#set -o xtrace

export MAKEFLAGS=-j2

export CZMQ_VERSION="3.0.2"
export CZMQ_URL="https://github.com/zeromq/czmq/archive/v$CZMQ_VERSION.tar.gz"
export VIENNACL_NAME="ViennaCL-1.7.1"
export VIENNACL_URL="http://netcologne.dl.sourceforge.net/project/viennacl/1.7.x/$VIENNACL_NAME.tar.gz"
export ZMQ_VERSION="4.1.5"
export ZMQ_NAME="zeromq-$ZMQ_VERSION"
export ZMQ_URL="https://github.com/zeromq/zeromq4-1/releases/download/v$ZMQ_VERSION/$ZMQ_NAME.tar.gz"
export DDD_NAME="ddd"
export DDD_VERSION="$DDD_NAME-1.8.1"
export DDD_URL="http://ddd.lip6.fr/download/$DDD_VERSION.tar.gz"
export SYLVAN_VERSION="1.4.0"
export SYLVAN_URL="https://github.com/trolando/sylvan/archive/v$SYLVAN_VERSION.tar.gz"
export SYLVAN_NAME="sylvan-$SYLVAN_VERSION"
export SPOT_VERSION="2.3.3"
export SPOT_NAME="spot-$SPOT_VERSION"
export SPOT_URL="http://www.lrde.epita.fr/dload/spot/$SPOT_NAME.tar.gz"

mkdir -p "$HOME/ltsmin-deps"

# install Sylvan from source
if [ ! -f "$HOME/ltsmin-deps/lib/libsylvan.a" ]; then
    wget "$SYLVAN_URL" -P /tmp
    tar -xf "/tmp/v$SYLVAN_VERSION.tar.gz" -C /tmp
    pushd /tmp/sylvan-$SYLVAN_VERSION
    mkdir build
    cd build
    cmake .. -DBUILD_SHARED_LIBS=OFF -DSYLVAN_BUILD_EXAMPLES=OFF -DCMAKE_INSTALL_PREFIX="$HOME/ltsmin-deps"
    make
    make install<commit_msg>Travis: not building Sylvan examples is the default in Sylvan 1.4.<commit_after>#!/bin/bash
set -e
#set -o xtrace

export MAKEFLAGS=-j2

export CZMQ_VERSION="3.0.2"
export CZMQ_URL="https://github.com/zeromq/czmq/archive/v$CZMQ_VERSION.tar.gz"
export VIENNACL_NAME="ViennaCL-1.7.1"
export VIENNACL_URL="http://netcologne.dl.sourceforge.net/project/viennacl/1.7.x/$VIENNACL_NAME.tar.gz"
export ZMQ_VERSION="4.1.5"
export ZMQ_NAME="zeromq-$ZMQ_VERSION"
export ZMQ_URL="https://github.com/zeromq/zeromq4-1/releases/download/v$ZMQ_VERSION/$ZMQ_NAME.tar.gz"
export DDD_NAME="ddd"
export DDD_VERSION="$DDD_NAME-1.8.1"
export DDD_URL="http://ddd.lip6.fr/download/$DDD_VERSION.tar.gz"
export SYLVAN_VERSION="1.4.0"
export SYLVAN_URL="https://github.com/trolando/sylvan/archive/v$SYLVAN_VERSION.tar.gz"
export SYLVAN_NAME="sylvan-$SYLVAN_VERSION"
export SPOT_VERSION="2.3.3"
export SPOT_NAME="spot-$SPOT_VERSION"
export SPOT_URL="http://www.lrde.epita.fr/dload/spot/$SPOT_NAME.tar.gz"

mkdir -p "$HOME/ltsmin-deps"

# install Sylvan from source
if [ ! -f "$HOME/ltsmin-deps/lib/libsylvan.a" ]; then
    wget "$SYLVAN_URL" -P /tmp
    tar -xf "/tmp/v$SYLVAN_VERSION.tar.gz" -C /tmp
    pushd /tmp/sylvan-$SYLVAN_VERSION
    mkdir build
    cd build
    cmake .. -DBUILD_SHARED_LIBS=OFF -DCMAKE_INSTALL_PREFIX="$HOME/ltsmin-deps"
    make
    make install
{'fraction_non_alphanumeric': 0.15583927900863687, 'fraction_numerical': 0.01877581674802854, 'mean_word_length': 4.803921568627451, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 6, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1277647', 'n_tokens_mistral': 1218, 'n_tokens_neox': 1139, 'n_words': 154}