# The version number is stored in a dedicated Nit module.
gen_version() {
- if grep "$*" nit_version.nit >/dev/null 2>&1; then
+ if grep "$*" version.nit >/dev/null 2>&1; then
:
else
- cat > nit_version.nit<<END
+ cat > version.nit<<END
# This file was generated by git-gen-version.sh
-package nit_version
+module version
fun nit_version: String do return "$*"
END
echo "Version $*"
fi
}
-# Are we in the nitc.nit directory?
-if [ ! -f nitc.nit ]; then
- if [ -f src/nitc.nit ]; then
+# Are we in the nit.nit directory?
+if [ ! -f nit.nit ]; then
+ if [ -f src/nit.nit ]; then
cd src
else
- echo "Error: no nitc.nit found." >&2
+ echo "Error: no nit.nit found." >&2
exit 1
fi
fi