Plasma GitLab Archive
Projects Blog Knowledge

# -*- makefile-mode -*-
TOP_DIR=../..

PRE = 1
PKGNAME = netstring-pcre
GENERATE = netstring_pcre.mli netstring_pcre.ml META
#PACKLIST = netstring-pcre-packlist
#INSTALL_EXTRA = netstring-pcre-packlist

include $(TOP_DIR)/Makefile.rules

CLEAN_LIST += $(GENERATE)

netstring_pcre.mli: netstring_pcre.mlip
	$(CPPO) $(REGEXP_DEFS) netstring_pcre.mlip > netstring_pcre.mli || \
	      rm -f netstring_pcre.mli

netstring_pcre.ml: netstring_pcre.mlp
	$(CPPO) $(REGEXP_DEFS) netstring_pcre.mlp > netstring_pcre.ml || \
	      rm -f netstring_pcre.ml

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml