refactor Makefile.config_if_required for easier reuse of variables
refactor Makefile.config_if_required for easier reuse of variables

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml