commit 69f16813d0889f714c53f0ce45a1002e3e4b9932
parent aaf6fa659d150215e0d26ff0620422e68dfea2e8
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Tue, 23 May 2023 21:58:43 +0200
Add a Makefile that downloads, and installs noweb
Add the TEXINPUTS variable to the profile template in order to register
the PATH where the noweb latex files are installed. Add noweb as a
project to install in the build script sgs.sh.
Diffstat:
3 files changed, 58 insertions(+), 0 deletions(-)
diff --git a/build.profile.in b/build.profile.in
@@ -12,3 +12,4 @@ export LIBRARY_PATH="@PREFIX@/lib:${LIBRARY_PATH}"
export MANPATH="@PREFIX@/share/man:${MANPATH}"
export PATH="@PREFIX@/bin:${PATH}"
export PKG_CONFIG_PATH="@PREFIX@/lib/pkgconfig:${PKG_CONFIG_PATH}"
+export TEXINPUTS="@PREFIX@/share/tex:${TEXINPUTS}"
diff --git a/noweb.mk b/noweb.mk
@@ -0,0 +1,52 @@
+# Configuration macros
+NOWEB_TAG=092ecb7
+NOWEB_URL=https://github.com/nrnrnr/noweb
+
+# Helper macros
+NOWEB_DIR=noweb/$(NOWEB_TAG)
+NOWEB_MAKE=$(MAKE)\
+ BIN="$${prefix}/bin"\
+ LIB="$${prefix}/lib"\
+ MAN="$${prefix}/share/man"\
+ TEXINPUTS="$${prefix}/share/tex/"\
+ ELISP=/dev/null
+
+noweb: build_noweb
+ @prefix=$$(cat .prefix) &&\
+ cd -- "$(NOWEB_DIR)/src" &&\
+ $(NOWEB_MAKE) install
+
+build_noweb: fetch_noweb prefix
+ @prefix=$$(cat .prefix) &&\
+ cd -- "$(NOWEB_DIR)/src" &&\
+ ./awkname awk &&\
+ $(NOWEB_MAKE) boot &&\
+ $(NOWEB_MAKE) all
+
+$(NOWEB_DIR):
+ @git clone $(NOWEB_URL) "$@"
+
+fetch_noweb: $(NOWEB_DIR)
+ @cd -- "$(NOWEB_DIR)" &&\
+ git fetch origin &&\
+ git checkout -B star-build &&\
+ git reset --hard $(NOWEB_TAG)
+
+clean_noweb:
+ if [ -d "$(NOWEB_DIR)/src" ]; then\
+ cd -- "$(NOWEB_DIR)/src" && make clean;\
+ fi
+
+uninstall_noweb: fetch_noweb prefix
+ @prefix=$$(cat .prefix) &&\
+ cd -- "$(NOWEB_DIR)/src" &&\
+ $(NOWEB_MAKE) uninstall &&\
+ rm -f "$${prefix}/lib/nwmktemp"
+
+distclean_noweb:
+ rm -rf noweb
+
+clean_all: clean_noweb
+distclean_all: distclean_noweb
+install_all: noweb
+uninstall_all: uninstall_noweb
diff --git a/sgs.sh b/sgs.sh
@@ -63,6 +63,11 @@ url="$\(REPO_BIN\)/Random123_1.14.0_gnu_linux64.tgz"
bin_spkg
################################################################################
+# Concatenate additionnal Makefiles
+################################################################################
+cat noweb.mk
+
+################################################################################
# Setup make directives for the profile file
################################################################################
profile sgs.profile
