mirror of
https://github.com/unisonweb/unison.git
synced 2024-11-10 01:16:12 +03:00
12 lines
314 B
Bash
Executable File
12 lines
314 B
Bash
Executable File
#!/bin/bash
|
|
set -ex
|
|
|
|
ucm=$(stack exec -- which unison)
|
|
|
|
base_codebase=${XDG_CACHE_HOME:-"$HOME/.cache"}/unisonlanguage/base.unison
|
|
|
|
if [ ! -d $base_codebase ]; then
|
|
# -S specificies the output codebase (-C specifies the input codebase)
|
|
$ucm transcript -S $base_codebase unison-src/builtin-tests/base.md
|
|
fi
|