Skip to content
Browse files

opam packaging script

  • Loading branch information...
1 parent e00e533 commit 379d956275babb6e6024a6c7c9a481115a15dceb @MarwanG MarwanG committed Jul 10, 2013
Showing with 22 additions and 0 deletions.
  1. +22 −0
@@ -0,0 +1,22 @@
+#creates an opam package
+#the verision is passed as a parameter
+mkdir $file
+cat <<EOF > $file/descr
+Random tree generator to be continued
+cat <<EOF > $file/opam
+opam-version: "1"
+maintainer: "Frédéric Peschanski <>"
+build: [
+ ["make -C src/ all"]
+ ["make -C src/ install"]
+cat <<EOF > $file/url
+to be decided later can be git repo but master needs to be updated first

0 comments on commit 379d956

Please sign in to comment.
Something went wrong with that request. Please try again.