8077a6819c
PiperOrigin-RevId: 833666932 Change-Id: I5f0207c3331705b9078a1297b3e7b2a8d363ad60
32 lines
1.1 KiB
CMake
32 lines
1.1 KiB
CMake
# Copyright 2025 DeepMind Technologies Limited
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# https://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
|
|
set(MUJOCO_DEP_VERSION_font_awesome
|
|
a8386aae19e200ddb0f6845b5feeee5eb7013687
|
|
CACHE STRING "Tag/version of `font_awesome` to be fetched."
|
|
)
|
|
mark_as_advanced(MUJOCO_DEP_VERSION_font_awesome)
|
|
|
|
include(FindOrFetch)
|
|
|
|
fetchpackage(
|
|
PACKAGE_NAME font_awesome
|
|
GIT_REPO https://github.com/FortAwesome/Font-Awesome.git
|
|
GIT_TAG ${MUJOCO_DEP_VERSION_font_awesome}
|
|
PATCH_COMMAND
|
|
"cp"
|
|
"${CMAKE_SOURCE_DIR}/cmake/third_party_deps/font_awesome/CMakeLists.txt"
|
|
"${FETCHCONTENT_BASE_DIR}/font_awesome-src/CMakeLists.txt"
|
|
)
|