Sākums Izpētīt Palīdzība
Pierakstīties
getty
/
gidl
1
0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne

Nav apraksta

Koks: add50938b4
Atzari Tagi
gidl
ZIP TAR.GZ
Trevor Elliott add50938b4 Read methods implemented 10 gadi atpakaļ
executables 30e1edc4d6 gidl: command line frontend ftw 10 gadi atpakaļ
src add50938b4 Read methods implemented 10 gadi atpakaļ
support add50938b4 Read methods implemented 10 gadi atpakaļ
tests 697667666e Initial rpc backend 10 gadi atpakaļ
.gitignore 89d04f0623 gidl: initial commit 10 gadi atpakaļ
.travis.yml 98c7179538 beginning of tower backend 10 gadi atpakaļ
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now 10 gadi atpakaļ
Makefile add50938b4 Read methods implemented 10 gadi atpakaļ
README.md f71527d211 update readme 10 gadi atpakaļ
Setup.hs 89d04f0623 gidl: initial commit 10 gadi atpakaļ
gidl.cabal 697667666e Initial rpc backend 10 gadi atpakaļ

README.md

Gidl

Gidl (for Galois Interface Description Language) is a simple IDL for describing structured types.

IDL format

See example in tests/example.idl. Currently, the format is not set in stone - revisions coming shortly.

Backends

Gidl currently has backends for:

  • Native Haskell
  • [Ivory][] language
  • [Tower][] wrapper over Ivory

Build and Test

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.