diff options
Diffstat (limited to 'projects/dejavu-fonts')
-rw-r--r-- | projects/dejavu-fonts/configs/install | 1 | ||||
-rw-r--r-- | projects/dejavu-fonts/configs/revision | 1 | ||||
-rwxr-xr-x | projects/dejavu-fonts/dejavu-fonts | 120 | ||||
-rw-r--r-- | projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch | 24 |
4 files changed, 146 insertions, 0 deletions
diff --git a/projects/dejavu-fonts/configs/install b/projects/dejavu-fonts/configs/install new file mode 100644 index 00000000..121743c4 --- /dev/null +++ b/projects/dejavu-fonts/configs/install @@ -0,0 +1 @@ +DejaVuSansMono.ttf:DejaVuSansMono.ttf diff --git a/projects/dejavu-fonts/configs/revision b/projects/dejavu-fonts/configs/revision new file mode 100644 index 00000000..218592b3 --- /dev/null +++ b/projects/dejavu-fonts/configs/revision @@ -0,0 +1 @@ +version_2_37 diff --git a/projects/dejavu-fonts/dejavu-fonts b/projects/dejavu-fonts/dejavu-fonts new file mode 100755 index 00000000..7768f1e1 --- /dev/null +++ b/projects/dejavu-fonts/dejavu-fonts @@ -0,0 +1,120 @@ +#!/usr/bin/env bash + +# Copyright (C) 2016 Paul Kocialkowski <contact@paulk.fr> +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +arguments() { + project_arguments_targets "${project}" "$@" +} + +usage() { + project_usage_actions "${project}" + project_usage_arguments "${project}" "$@" +} + +download() { + local repository="${project}" + + project_download_git "${project}" \ + "${repository}" \ + 'https://github.com/dejavu-fonts/dejavu-fonts.git' \ + "$@" + + local sources_path="$(project_sources_path "${project}" "${repository}" "$@")" + + download_wrapper "${sources_path}/resources" \ + 'https://www.unicode.org/Public/UNIDATA/UnicodeData.txt' \ + 'https://www.unicode.org/Public/UNIDATA/Blocks.txt' +} + +download_check() { + local repository="${project}" + + project_download_check_git "${project}" "${repository}" "$@" +} + +extract() { + local repository="${project}" + + project_extract "${project}" "$@" +} + +extract_check() { + local repository="${project}" + + project_extract_check "${project}" "$@" +} + +update() { + local repository="${project}" + + project_update_git "${project}" "${repository}" "$@" +} + +update_check() { + local repository="${project}" + + project_update_check_git "${project}" "${repository}" "$@" +} + +build() { + local repository="${project}" + + project_sources_directory_missing_empty_error "${project}" "${repository}" "$@" + + if git_project_check "${repository}"; then + git_project_checkout "${project}" "${repository}" "$@" + fi + + local sources_path="$(project_sources_path "${project}" "${repository}" "$@")" + local build_path="$(project_build_path "${project}" "$@")" + + mkdir -p "${build_path}" + + # Create a symlink to the orthography files provided by fontconfig + ln -s "${root}/${SOURCES}/fontconfig/fc-lang" "${sources_path}/resources/fc-lang" + + make -C "${sources_path}" -j"${TASKS}" + cp "${sources_path}/build"/[!.]*.ttf "${build_path}" + make -C "${sources_path}" clean +} + +build_check() { + project_build_check "${project}" "$@" +} + +install() { + project_install "${project}" "$@" +} + +install_check() { + project_install_check "${project}" "$@" +} + +release() { + local repository="${project}" + + project_release_sources_git "${project}" "${repository}" "$@" +} + +release_check() { + local repository="${project}" + + project_release_check_sources_git "${project}" "${repository}" "$@" +} + +clean() { + project_clean "${project}" "$@" +} diff --git a/projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch b/projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch new file mode 100644 index 00000000..52798b1e --- /dev/null +++ b/projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch @@ -0,0 +1,24 @@ +From 9ac03500773a1cc69b198ce1c43770a7fc66da98 Mon Sep 17 00:00:00 2001 +From: Andrew Robbins <contact@andrewrobbins.info> +Date: Tue, 5 Sep 2017 23:57:34 -0400 +Subject: [PATCH] Preserve unicode source files thru `git clean -df` + +UnicodeData.txt and Blocks.txt should be preserved after a +`git clean -df` to avoid needless refetching of these resources. +--- + .gitignore | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/.gitignore b/.gitignore +index dedd2b5..841e748 100644 +--- a/.gitignore ++++ b/.gitignore +@@ -2,3 +2,5 @@ build/ + dist/ + tmp/ + /src/*.sfd~ ++resources/Blocks.txt ++resources/UnicodeData.txt +-- +1.9.1 + |