diff options
| author | Sergey Poznyakoff <gray@gnu.org> | 2020-03-27 13:09:17 +0200 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org> | 2020-03-27 13:09:17 +0200 |
| commit | 82d8dc6b0c0f316acb7f9b4f351fbd8cb1f85e99 (patch) | |
| tree | a3b5b8d93e90941af408d624ac0cf03bdec832c7 | |
| parent | 99b8dd21c7d1a91021b0a63c0d846ac35c4b0093 (diff) | |
| download | acvmod-master.tar.gz acvmod-master.tar.bz2 | |
| -rw-r--r-- | varnishapi.m4 | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/varnishapi.m4 b/varnishapi.m4 index 6e47ae7..1d1107b 100644 --- a/varnishapi.m4 +++ b/varnishapi.m4 @@ -1,3 +1,3 @@ ## Autoconf macros for writing Varnish modules -## Copyright (C) 2016,2017 Sergey Poznyakoff +## Copyright (C) 2016-2020 Sergey Poznyakoff ## @@ -16,3 +16,3 @@ -## serial 2 +## serial 3 @@ -64,8 +64,10 @@ m4_define([VAPI_CHECK_VER],[ ## the corresponding numbers of the varnish API version. -## VARNISHD full pathname of the varnishd binary -## VARNISHTEST full pathname of the varnishtest binary +## VARNISHD full pathname of the varnishd binary. +## VARNISHTEST full pathname of the varnishtest binary. ## VARNISHAPI_PKGDATADIR -## varnish API package data directory +## varnish API package data directory. ## VARNISHAPI_VMODTOOL -## full pathname of the vmodtool.py script +## full pathname of the vmodtool.py script. +## PYTHON full pathname of the python 3 binary. +## RST2MAN full pathname of the rst2man or rst2man.py script. ## @@ -78,7 +80,7 @@ AC_DEFUN([AM_VARNISHAPI], - # Varnish source tree (deprecated) - AC_ARG_WITH([varnish-source], - [], - [AC_MSG_ERROR([the --with-varnish-source option has been withdrawn])]) - + # Check for rst2man.py or rst2man + AC_PATH_PROGS(RST2MAN, [rst2man.py rst2man], + [\$(abs_top_srcdir)/build-aux/missing rst2man.py]) + AC_SUBST([RST2MAN]) + # pkg-config |