2017-05-02 13:08:12 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
version=1.0.0
|
|
|
|
|
|
|
|
set -e -o pipefail
|
|
|
|
|
|
|
|
TMP="$(mktemp -d)"
|
|
|
|
trap "rm -rf $TMP" EXIT
|
|
|
|
|
|
|
|
rm -rf cmdliner
|
|
|
|
mkdir -p cmdliner/src
|
|
|
|
|
|
|
|
(cd $TMP && opam source cmdliner.$version)
|
|
|
|
|
|
|
|
SRC=$TMP/cmdliner.$version
|
|
|
|
|
|
|
|
cp -v $SRC/LICENSE.md cmdliner
|
|
|
|
cp -v $SRC/src/*.{ml,mli} cmdliner/src
|
|
|
|
|
2018-02-06 14:39:03 +00:00
|
|
|
git checkout cmdliner/src/jbuild
|
2017-05-02 13:08:12 +00:00
|
|
|
git add -A .
|