Generation and Inclusion of Makefile.def

28.7 Generation and Inclusion of Makefile.def

The file Makefile.def .nw contains variables that should be defined by a library writer. It is the only file of ALLPROSE that should be modified.

We generated also a file project.def.tex that contains definitions of certain LATEX commands.

Note that if Makefile.def .nw does not exist, it will be generated from the file Makefile.def.allprose .nw. However, if it does exist, it will only be overridden if it is classified as still being an ALLPROSE file. So a library writer must change the file so that it does not contain the string "--- ALLPROSE" anymore.

362⟨Generate and include Makefile.def 362⟩≡   (350)
Makefile.def: Makefile.def.nw
        $(NOTANGLE) -t8 $< > $@

Makefile.def.nw: Makefile.def.allprose.nw
        if [ ! -f "$@" ]; then\
          $(CP) $< $@;\
        elif $(GREP) -l -- "^.--- ALLPROSE$$" $@ > /dev/null; then\
          $(CP) $< $@;\
        fi
include Makefile.def
⟨update DIRS with ADDITIONALTOPLEVELDIRS 355b⟩

Uses CP 354a, GREP 354a, and NOTANGLE 352.

[Home] [prev] [up] [next] ((Makefile))