mirror of
https://github.com/zap-proto/c.git
synced 2026-10-30 15:05:52 +00:00
zeekay
a4debdba80
C had no front end for the schema language at all. The compiler directory holds a code generator plugin, which is handed a request by another tool and never sees schema text, so a .zap file could not be read here in either form -- indentation or braces. zapgen reads it. Whitespace-significant source is rewritten into the brace form BEFORE the parser, exactly as the Go reference does it: a near identity that only adds the two tokens the brace grammar requires where the indented form leaves them out. A file already in braces comes back byte for byte, so one grammar reads both styles and neither is a dialect of the other. The identifier grammar is not restated. Its Unicode ranges are taken from Go's own tables by gen/table, so a name this parser accepts is a name the Go parser accepts, and a Go release that moves Unicode moves both. The generated header gives each struct a view over the message bytes and one reader per field at a fixed offset. Reading is in place and total: a field past the end reads zero, a pointer into the head or out of the message reads null. zap_view.h is the one place that says so. Checked against the Go front end on every .zap in the estate plus 55 adversarial cases and 15000 random ones: the brace form each writes is byte-identical, the layout each reads is field-for-field the same, and they accept and refuse the same files for the same stated reason. A message built by the Go runtime reads back through these bindings with every field equal.
132 lines
2.9 KiB
Makefile
132 lines
2.9 KiB
Makefile
ACLOCAL_AMFLAGS = -I m4
|
|
AUTOMAKE_OPTIONS = foreign subdir-objects
|
|
|
|
lib_LTLIBRARIES =
|
|
bin_PROGRAMS =
|
|
check_PROGRAMS =
|
|
EXTRA_DIST =
|
|
noinst_HEADERS =
|
|
include_HEADERS =
|
|
|
|
|
|
EXTRA_DIST += README.md
|
|
|
|
EXTRA_DIST += c-zap.pc.in
|
|
pkgconfigdir = $(libdir)/pkgconfig
|
|
pkgconfig_DATA = c-zap.pc
|
|
|
|
EXTRA_DIST += compiler/c.zap
|
|
zap_DATA = compiler/c.zap
|
|
AM_CPPFLAGS = \
|
|
-I${srcdir}/compiler \
|
|
-I${srcdir}/lib \
|
|
-I${srcdir}/gen
|
|
|
|
lib_LTLIBRARIES += libzap_c.la
|
|
libzap_c_la_LDFLAGS = -version-info 0:0:0
|
|
libzap_c_la_SOURCES = \
|
|
lib/zap-malloc.c \
|
|
lib/zap-stream.c \
|
|
lib/zap.c
|
|
EXTRA_DIST += \
|
|
lib/zap-list.inc
|
|
|
|
bin_PROGRAMS += zapc-c
|
|
zapc_c_SOURCES = \
|
|
compiler/zapc-c.c \
|
|
compiler/schema.zap.c \
|
|
compiler/str.c
|
|
zapc_c_LDADD = libzap_c.la
|
|
include_HEADERS += \
|
|
lib/zap_c.h \
|
|
lib/zap_view.h
|
|
|
|
# zapgen reads a .zap schema - written either way, indentation or braces -
|
|
# and writes the C it describes.
|
|
ZAPGEN_SOURCES = \
|
|
gen/arena.c \
|
|
gen/desugar.c \
|
|
gen/emit.c \
|
|
gen/parse.c \
|
|
gen/rune.c \
|
|
compiler/str.c
|
|
|
|
bin_PROGRAMS += zapgen
|
|
zapgen_SOURCES = $(ZAPGEN_SOURCES) gen/main.c
|
|
noinst_HEADERS += \
|
|
gen/arena.h \
|
|
gen/desugar.h \
|
|
gen/emit.h \
|
|
gen/parse.h \
|
|
gen/rune.h \
|
|
gen/schema.h
|
|
EXTRA_DIST += \
|
|
gen/echo.zap \
|
|
gen/table/main.go \
|
|
gen/table/go.mod
|
|
|
|
noinst_HEADERS += \
|
|
lib/zap_priv.h \
|
|
compiler/str.h \
|
|
compiler/schema.zap.h \
|
|
compiler/c.zap.h \
|
|
compiler/c++.zap.h
|
|
|
|
# Don't try to generate any *.zap files. Otherwise make wants to compile them
|
|
# from *.zap.c and fails.
|
|
%.zap: ;
|
|
|
|
# googletest
|
|
GTEST_LDADD = gtest/googletest/lib/libgtest.la
|
|
gtest/googletest/lib/libgtest.la:
|
|
make -C gtest/googletest lib/libgtest.la
|
|
GTEST_CPPFLAGS = -I${srcdir}/gtest/googletest/include
|
|
DIST_SUBDIRS = gtest/googletest
|
|
|
|
# Tests
|
|
check_PROGRAMS += \
|
|
zap-test
|
|
zap_test_SOURCES = \
|
|
tests/zap-test.cpp \
|
|
tests/zap-stream-test.cpp \
|
|
tests/example-test.cpp \
|
|
tests/addressbook.zap.c \
|
|
compiler/test.zap.c \
|
|
compiler/schema-test.cpp \
|
|
compiler/schema.zap.c
|
|
noinst_HEADERS += \
|
|
compiler/test.zap.h \
|
|
tests/addressbook.zap.h
|
|
EXTRA_DIST += \
|
|
compiler/c.zap \
|
|
compiler/c++.zap \
|
|
compiler/schema.zap \
|
|
compiler/test.zap \
|
|
tests/addressbook.zap
|
|
zap_test_CPPFLAGS = $(AM_CPPFLAGS) $(GTEST_CPPFLAGS)
|
|
zap_test_CXXFLAGS = -std=gnu++17 -pthread
|
|
zap_test_LDADD = libzap_c.la $(GTEST_LDADD)
|
|
zap_test_LDFLAGS = -pthread
|
|
|
|
# The schema test generates its own bindings from gen/echo.zap and
|
|
# compiles them, so a generator that cannot generate, or generates C that
|
|
# does not build, fails the suite rather than the next release.
|
|
check_PROGRAMS += zapgen-test
|
|
zapgen_test_SOURCES = $(ZAPGEN_SOURCES) gen/test.c
|
|
BUILT_SOURCES = echo.zap.h
|
|
CLEANFILES = echo.zap.h
|
|
echo.zap.h: $(srcdir)/gen/echo.zap zapgen$(EXEEXT)
|
|
./zapgen$(EXEEXT) -o . $(srcdir)/gen/echo.zap
|
|
|
|
TESTS = zap-test zapgen-test
|
|
|
|
ZAP_SCHEMA_FILES := $(shell find . -type f -name \*.zap)
|
|
|
|
ZAP ?= zap
|
|
.PHONY: zap-compile
|
|
zap-compile:
|
|
$(ZAP) compile \
|
|
--output=./zapc-c \
|
|
-Icompiler \
|
|
$(ZAP_SCHEMA_FILES)
|