trc support for makefile_cc
authorThomas Walker Lynch <thomas.lynch@reasoningtechnology.com>
Mon, 1 Apr 2019 11:05:17 +0000 (13:05 +0200)
committerThomas Walker Lynch <thomas.lynch@reasoningtechnology.com>
Mon, 1 Apr 2019 11:05:17 +0000 (13:05 +0200)
commitc84c1e862c3655529f17d90148e54fcc7f6da580
treeb9c7062543e5a87ff3ae6ba69da1bba955f3d126
parentde0e36a1945ebfe28e43e1108d476c7acf86d48f
trc support for makefile_cc
38 files changed:
makefile
module/da/src/da.lib.c
module/da/src/da.lib.h
module/da/test/results [deleted file]
module/da/test/src/test_da.lib.c
module/da/test/try/passed.transcript [new file with mode: 0644]
module/db/0_makefile [deleted file]
module/db/0_makefile-flags [deleted file]
module/db/1_doc/return-from-transaction.txt [deleted file]
module/db/dbprintf.lib.c [deleted file]
module/db/include/db.h [new file with mode: 0644]
module/db/lib/libda.a [new file with mode: 0644]
module/db/lib/libdb.a [new file with mode: 0644]
module/db/makefile [new file with mode: 0644]
module/db/makefile-flags [new file with mode: 0644]
module/db/src/db.lib.c [new file with mode: 0644]
module/db/src/db.lib.h [new file with mode: 0644]
module/dispatch/makefile-flags
module/dispatch/src/dispatch.lib.c [deleted file]
module/dispatch/trc/dispatch.trc.c [new file with mode: 0644]
module/share/include/da.h
module/share/lib/libda.a
module/tranche/makefile
module/tranche/makefile-flags
module/tranche/src/tranche-make.cli.c
module/tranche/src/tranche-target.cli.c
module/tranche/src/tranche.cli.c
module/tranche/src/tranche.lib.c
module/tranche/src/tranche.lib.h
module/tranche/test/try/test2.sh
module/tranche/test/try/test2stdout.dat.expected [deleted file]
module/tranche/test/try/test5.sh [new file with mode: 0644]
tool/bin/@System.solv [new file with mode: 0644]
tool/bin/tranche
tool/bin/tranche-make
tool/bin/tranche-target
tool/lib/makefile-cc
tool/lib/makefile-trc [deleted file]