Packaging #10

Merged
merged 5 commits into from Jul 10, 2013

Projects

None yet

2 participants

@MarwanG
Collaborator
MarwanG commented Jul 10, 2013

to discuss ... contains 3 scripts each responsible for the type of packaging needed . final order of files is sorted as i have understood from your explanation , .. a tmp make is placed in src/ for opam packaging , opam archive needs to be discussed to know if we use a archive or git repo right away

@fredokun fredokun merged commit d76fdd9 into fredokun:packaging Jul 10, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment