Pat Hickey 81127ba4ef amend build to build s-cargot from sources | hace 9 años | |
---|---|---|
executables | hace 9 años | |
src | hace 9 años | |
support | hace 9 años | |
tests | hace 9 años | |
.gitignore | hace 9 años | |
.travis.yml | hace 9 años | |
LICENSE | hace 9 años | |
Makefile | hace 9 años | |
README.md | hace 9 años | |
Setup.hs | hace 9 años | |
gidl.cabal | hace 9 años |
Gidl (for Galois Interface Description Language) is a simple IDL for describing structured types.
See example in tests/example.idl. Currently, the format is not set in stone - revisions coming shortly.
Gidl currently has backends for:
Use the create-sandbox
target in the Makefile to create a local cabal
sandbox and install all dependencies.
The default target builds the gidl library. You can then use cabal run gidl --
<OPTIONS>
to run the code generator. Use the --help
option to get usage
information.
Use the test
target in the Makefile to generate and test each backend
implementation.