Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
16 September 2022, 03:22:28 UTC
Revision 651c9ac52e10a31dfc233393c6541484311fcd06 authored by Benjamin Gregoire on 10 June 2014, 10:52:39 UTC, committed by Benjamin Gregoire on 10 June 2014, 10:52:39 UTC 
Fix bug in algebra
1 parent 04757ca
Raw File
Tip revision: 651c9ac52e10a31dfc233393c6541484311fcd06 authored by Benjamin Gregoire on 10 June 2014, 10:52:39 UTC
Fix bug in algebra
Tip revision: 651c9ac
ec-build-remote 
#! /bin/bash

# --------------------------------------------------------------------
function check_cmd {
  if ! type -P "$1" >/dev/null 2>&1; then
    echo "missing program: $1. install it first" >&2
    exit 1
  fi
}

check_cmd git
check_cmd m4
check_cmd autoconf
check_cmd gcc
check_cmd g++
check_cmd curl

# --------------------------------------------------------------------
if [ -e easycrypt ]; then
  echo "a file or directory [easycrypt] already exists" >&2
  echo "remove it first and restart this script" >&2
  exit 1
fi

# --------------------------------------------------------------------
set -ex

git clone http://ci.easycrypt.info/easycrypt.git easycrypt

make -C easycrypt toolchain provers
$(easycrypt/scripts/active-toolchain.sh)
make -C easycrypt
back to top