view tools/build-make.sh @ 4254:7f2d5c8c4491

installer: update fc cache during install (Bug #45458) * tools/makeinst-script.sh.in: call fc_update.bat in installer script * installer-files/fc_update.bat: new file * binary-dist-rules.mk: copy fc_update.bat to dist * dist-files.mk: add fc_update.bat
author John D
date Thu, 01 Dec 2016 13:44:05 -0500
parents b7f1e80be561
children a11736295721
line wrap: on
line source

#! /bin/sh

## Run from top-level mxe-octave directory.

set -e

top_dir=`pwd`

make_ver="3.82"
make_dir="make-$make_ver"
make_pkg="$make_dir.tar.gz"

if [ ! -d pkg ]; then
  mkdir pkg
fi

if [ ! -f pkg/$make_pkg ]; then
  wget ftp://ftp.gnu.org/gnu/make/$make_pkg -O pkg/$make_pkg
fi

rm -rf $make_dir

tar zxf pkg/$make_pkg

cd $make_dir

./configure --prefix=$top_dir/usr

make

make install

cd $top_dir

rm -rf $make_dir