Return to genmake.sh CVS log

Up to [Coherent Logic Development] / papers

Improve builds

#!/usr/bin/env bash

#
# $Id: genmake.sh,v 1.1 2025/04/22 18:54:50 snw Exp $
#  Generate top-level Makefile
#
# Copyright (C) 2025 Serena Willis
#
#   $Log: genmake.sh,v $
#   Revision 1.1  2025/04/22 18:54:50  snw
#   Improve builds
#
#

DIRS=$(ls -d */ | sort -r)
PAPERS=""

for DIR in $DIRS
do
    if [[ "${DIR}" != "CVS/" ]]
    then
        PAPER=$(echo "${DIR}" | tr -d '/')
        PAPERS="${PAPER} ${PAPERS}"        
    fi
done

echo "PAPERS = ${PAPERS}" | tee Makefile
echo 'all: $(PAPERS)' | tee -a Makefile

for PAPER in ${PAPERS}
do
    echo "${PAPER}:" | tee -a Makefile
    printf "\t%s" "cd ${PAPER} && \$(MAKE)" | tee -a Makefile
    echo "" | tee -a Makefile
done

echo ".PHONY: ${PAPERS}" | tee -a Makefile