Plasma GitLab Archive
Projects Blog Knowledge

TOP_DIR=../..

PRE = 1
PKGNAME = rpc-auth-dh
GENERATE = rpc_key_aux.ml rpc_key_clnt.ml rpc_key_service.ml META

include $(TOP_DIR)/Makefile.rules

CLEAN_LIST += rpc_key_aux.mli rpc_key_clnt.mli

rpc_key_aux.ml: rpc_key.x
	$(RPCGEN) -int int32 -hyper int64 -aux rpc_key.x

rpc_key_clnt.ml: rpc_key.x
	$(RPCGEN) -int int32 -hyper int64 -clnt rpc_key.x

rpc_key_service.ml: rpc_key_service.mlp
	sed -e "s/@CONNECTOR@/$(RPC_AUTH_DH_CONNECTOR)/" \
		rpc_key_service.mlp >rpc_key_service.ml

RPCGEN = ../rpc-generator/ocamlrpcgen

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