Skip to content

Instantly share code, notes, and snippets.

@jfdm
Last active August 29, 2015 14:12
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jfdm/b5cb44f8b0f35f027bdd to your computer and use it in GitHub Desktop.
Save jfdm/b5cb44f8b0f35f027bdd to your computer and use it in GitHub Desktop.
A proposed YAML iPKG file.
%YAML 1.2
%IPKG 0.9.15
---
name: mypackage
version: 0.9.1.2
stability:
synopsis: I am text.
license:
value: BSD3
file: LICENSE
author:
name: Joe Bloggs
maintainer: joe bloggs <email address>
homepage: http://www.google.com
origin: github.com/idris-dev/
readme: README.md
sourcedir: src
modules:
- X
- Y
- Z
executable:
name: a.out
main: main
dependancies:
lightyear: 0.9.1
build_opts:
extensions:
- TypeProviders
- ErrorReflection
partial_eval : False
total : True
warnpartial : True
warnreach: True
log: 2
verbose: True
codegen:
lang: Java
mvn: true
compile_only: False
build_only: False
...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment