mirror of
https://github.com/c-cube/linol.git
synced 2025-12-06 03:05:31 -05:00
26 lines
389 B
Bash
Executable file
26 lines
389 B
Bash
Executable file
#!/bin/bash
|
|
|
|
version=v2.3.0
|
|
|
|
set -e -o pipefail
|
|
|
|
TMP="$(mktemp -d)"
|
|
trap "rm -rf $TMP" EXIT
|
|
|
|
rm -rf odoc-parser
|
|
mkdir -p odoc-parser/src
|
|
|
|
(
|
|
cd $TMP
|
|
git clone https://github.com/ocaml/odoc.git
|
|
cd odoc
|
|
git checkout $version
|
|
)
|
|
|
|
SRC=$TMP/odoc
|
|
|
|
cp -v $SRC/src/parser/*.{ml,mli,mll} odoc-parser/src
|
|
cp -v $SRC/LICENSE odoc-parser/
|
|
|
|
git checkout odoc-parser/src/dune
|
|
git add -A .
|