From bb563a8fbefbc636d34247df735801a23badc750 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Wed, 14 Nov 2018 20:01:19 +0000 Subject: Lzip and Tar also built as basic dependencies To ensure the easy unpacking and building of the programs, Lzip and Tar are now also build during the initial setup phase. Some minor corrections were also applied to make things cleaner and smoother. --- configure | 51 ++++++++------ paper.tex | 9 +-- reproduce/config/pipeline/dependency-versions.mk | 2 + reproduce/src/make/dependencies-basic.mk | 88 +++++++++++++----------- reproduce/src/make/dependencies-build-rules.mk | 2 +- reproduce/src/make/dependencies.mk | 66 +++++++++--------- reproduce/src/make/initialize.mk | 6 +- 7 files changed, 125 insertions(+), 99 deletions(-) diff --git a/configure b/configure index 8e15000..4810656 100755 --- a/configure +++ b/configure @@ -110,17 +110,19 @@ function absolute_dir() { # # Print some basic information so the user gets a feeling of what is going # on and is prepared on what will happen next. -echo -echo "-----------------------------------------" -echo "Reproduction pipeline local configuration" -echo "-----------------------------------------" -echo -echo "Local configuration includes things like top-level directories," -echo "or processing steps." -echo -echo "It is STRONGLY recommended to read the comments, and set the best " -echo "values for your system (where necessary)." -echo +cat < /dev/null; then + if type wget > /dev/null 2>/dev/null; then downloader="wget -O"; else - echo "=======" - echo "Warning" - echo "=======" - echo "Couldn't find GNU Wget. It is used for downloading necessary " - echo "programs and data if they aren't already present in the specified " - echo "directories. Therefore the pipeline will crash if the necessary " - echo "files are not already present on the system." - echo "=======" - echo + cat <