/*
 * This utility extracts the timestamp from a str2ind.tab file
 * and emits the corresponding char *str2ind_version C line.
 */

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <strings.h>

main(argc, argv)
	char **argv;
{
	FILE *inf;
	char buf[32], *cp;

	if (argc != 2) {
		fprintf(stderr, "usage: %s str2ind.tab\n", argv[0]);
		exit(1);
	}
	inf = fopen(argv[1], "r");
	if (!inf) {
		perror(argv[1]);
		exit(1);
	}
	if (!fgets(buf, sizeof buf, inf)) {
inv:		fprintf(stderr,
			"Error: %s does not have the expected first line\n",
			argv[1]);
		exit(1);
	}
	cp = index(buf, '\n');
	if (!cp || cp == buf)
		goto inv;
	*cp = '\0';
	if (cp[-1] == '\r')
		*--cp = '\0';
	if (cp != buf + 10)
		goto inv;
	printf("char *str2ind_version = \"&%s\";\n", buf);
	exit(0);
}