Source-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: othersrc/external/bsd/testcompat



Module Name:    othersrc
Committed By:   dholland
Date:           Thu Dec  7 05:55:36 UTC 2017

Added Files:
        othersrc/external/bsd/testcompat: Makefile README
        othersrc/external/bsd/testcompat/gen: Makefile main.ml
        othersrc/external/bsd/testcompat/mk: base.mk ocaml.mk subdir.mk
        othersrc/external/bsd/testcompat/parser: Makefile lexer.mll parser.mly
            ptcheck.ml ptree.ml
        othersrc/external/bsd/testcompat/specs: cases.def mips.mach
            syscalls.def ultrix.kern
        othersrc/external/bsd/testcompat/support: Makefile pos.ml types.ml
            util.ml

Log Message:
Add some preliminary stuff in pursuit of testing compat syscalls.

So far this just has some (partial) specs and some code for reading
the specs in; it doesn't actually do anything yet...

It is ocaml because ocaml is the least awful choice for prototyping
compiler stuff.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 othersrc/external/bsd/testcompat/Makefile \
    othersrc/external/bsd/testcompat/README
cvs rdiff -u -r0 -r1.1 othersrc/external/bsd/testcompat/gen/Makefile \
    othersrc/external/bsd/testcompat/gen/main.ml
cvs rdiff -u -r0 -r1.1 othersrc/external/bsd/testcompat/mk/base.mk \
    othersrc/external/bsd/testcompat/mk/ocaml.mk \
    othersrc/external/bsd/testcompat/mk/subdir.mk
cvs rdiff -u -r0 -r1.1 othersrc/external/bsd/testcompat/parser/Makefile \
    othersrc/external/bsd/testcompat/parser/lexer.mll \
    othersrc/external/bsd/testcompat/parser/parser.mly \
    othersrc/external/bsd/testcompat/parser/ptcheck.ml \
    othersrc/external/bsd/testcompat/parser/ptree.ml
cvs rdiff -u -r0 -r1.1 othersrc/external/bsd/testcompat/specs/cases.def \
    othersrc/external/bsd/testcompat/specs/mips.mach \
    othersrc/external/bsd/testcompat/specs/syscalls.def \
    othersrc/external/bsd/testcompat/specs/ultrix.kern
cvs rdiff -u -r0 -r1.1 othersrc/external/bsd/testcompat/support/Makefile \
    othersrc/external/bsd/testcompat/support/pos.ml \
    othersrc/external/bsd/testcompat/support/types.ml \
    othersrc/external/bsd/testcompat/support/util.ml

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.




Home | Main Index | Thread Index | Old Index