From ec80f167e28fcd3fac8ef4012065fd17ab85ce7c Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 6 Mar 2018 06:57:24 +0000 Subject: Trying to add mono --- build.sh | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) (limited to 'build.sh') diff --git a/build.sh b/build.sh index d588213..624be79 100755 --- a/build.sh +++ b/build.sh @@ -11,16 +11,15 @@ if [[ -z $TRAVIS_BUILD_DIR ]]; then else echo "Running on travis-ci" BASE_DIR=$TRAVIS_BUILD_DIR + echo "Compiling mono from source" + git clone -b mono-5.13.0.308 https://github.com/mono/mono.git + cd mono + ./autogen.sh --prefix=$PREFIX + make + make install + mono --version fi -# deps git autoconf libtool automake build-essential mono-devel gettext cmake -# git clone -b mono-5.13.0.308 https://github.com/mono/mono.git -# cd mono -# ./autogen.sh --prefix=$PREFIX -# make -# make install -# mono --version - echo "Downloading paket.exe directly" curl https://github.com/fsprojects/Paket/releases/download/5.148.0/paket.exe -o $BASE_DIR/FMark/.paket/paket.exe @@ -33,5 +32,3 @@ echo "Running javascript build" cd $BASE_DIR/FMark/src/FMarkFable dotnet restore dotnet fable yarn-build - -cd - -- cgit