Начало Каталог Помощ
Вход
getty
/
gidl
1
0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики

Няма описание

ИН на ревизия: bc64ea1c55
Клонове Маркери
gidl
ZIP TAR.GZ
Trevor Elliott bc64ea1c55 Merge remote-tracking branch 'origin/master' into wip/rpc преди 10 години
executables 30e1edc4d6 gidl: command line frontend ftw преди 10 години
src bc64ea1c55 Merge remote-tracking branch 'origin/master' into wip/rpc преди 10 години
support bc64ea1c55 Merge remote-tracking branch 'origin/master' into wip/rpc преди 10 години
tests bc64ea1c55 Merge remote-tracking branch 'origin/master' into wip/rpc преди 10 години
.gitignore 89d04f0623 gidl: initial commit преди 10 години
.travis.yml f01d23381c travis: ignore wip branches преди 10 години
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now преди 10 години
Makefile bc64ea1c55 Merge remote-tracking branch 'origin/master' into wip/rpc преди 10 години
README.md f71527d211 update readme преди 10 години
Setup.hs 89d04f0623 gidl: initial commit преди 10 години
gidl.cabal bc64ea1c55 Merge remote-tracking branch 'origin/master' into wip/rpc преди 10 години

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.