67 lines
2.3 KiB
Plaintext
67 lines
2.3 KiB
Plaintext
.gitignore
|
|
GENODE_DIR = $(TUP_CWD)
|
|
BASE_DIR = $(GENODE_DIR)/repos/base
|
|
|
|
SDK_VERSION = 19.05
|
|
# TODO: these are configuration settings
|
|
|
|
LOCAL_LIB_PREFIX = lib
|
|
LOCAL_PKGCONFIG_PREFIX = pkgconfig
|
|
|
|
SDK_PREFIX = /opt/genode/sdk-$(SDK_VERSION)
|
|
SDK_INCLUDE_PREFIX = $(SDK_PREFIX)/include
|
|
SDK_LIB_PREFIX = $(SDK_PREFIX)/$(LOCAL_LIB_PREFIX)
|
|
SDK_PKGCONFIG_PREFIX = $(SDK_PREFIX)/$(LOCAL_PKGCONFIG_PREFIX)
|
|
|
|
SDK_DIR = $(GENODE_DIR)/sdk
|
|
|
|
!ln = |> ^ LN %o -> %f^ ln -s %f %o |>
|
|
!cp = |> ^ CP %o^ cp %f %o |>
|
|
|
|
!tar = |> tar cf %o %f $(TAR_FLAGS) |>
|
|
|
|
SED_PKGCONFIG_FLAGS += -e 's|@exec_prefix@|$(SDK_PREFIX)|'
|
|
SED_PKGCONFIG_FLAGS += -e 's|@includedir@|$(SDK_INCLUDE_PREFIX)|'
|
|
SED_PKGCONFIG_FLAGS += -e 's|@prefix@|$(SDK_PREFIX)|'
|
|
SED_PKGCONFIG_FLAGS += -e 's|@sharedlibdir@|@libdir@|'
|
|
SED_PKGCONFIG_FLAGS += -e 's|@SDK_VERSION@|$(SDK_VERSION)|'
|
|
|
|
SED_FLAGS_arm64 += -e 's|@libdir@|$(SDK_LIB_PREFIX)/arm64|'
|
|
SED_FLAGS_i386 += -e 's|@libdir@|$(SDK_LIB_PREFIX)/x86_32|'
|
|
SED_FLAGS_x86_64 += -e 's|@libdir@|$(SDK_LIB_PREFIX)/x86_64|'
|
|
|
|
!sed_pkgconfig_file = |> ^ SED %B^ \
|
|
sed $(SED_PKGCONFIG_FLAGS) $(SED_FLAGS) $(SED_FLAGS_arm64) %f \
|
|
> $(LOCAL_PKGCONFIG_PREFIX)/arm64/%B; \
|
|
sed $(SED_PKGCONFIG_FLAGS) $(SED_FLAGS) $(SED_FLAGS_i386) %f \
|
|
> $(LOCAL_PKGCONFIG_PREFIX)/x86_32/%B; \
|
|
sed $(SED_PKGCONFIG_FLAGS) $(SED_FLAGS) $(SED_FLAGS_x86_64) %f \
|
|
> $(LOCAL_PKGCONFIG_PREFIX)/x86_64/%B; \
|
|
|> $(LOCAL_PKGCONFIG_PREFIX)/arm64/%B \
|
|
$(LOCAL_PKGCONFIG_PREFIX)/x86_32/%B \
|
|
$(LOCAL_PKGCONFIG_PREFIX)/x86_64/%B \
|
|
<artifacts>
|
|
|
|
!sed_pkgconfig_flags = |> ^ SED %d.pc^ \
|
|
sed $(SED_PKGCONFIG_FLAGS) $(SED_FLAGS) $(SED_FLAGS_arm64) \
|
|
> $(LOCAL_PKGCONFIG_PREFIX)/arm64/%d.pc; \
|
|
sed $(SED_PKGCONFIG_FLAGS) $(SED_FLAGS) $(SED_FLAGS_i386) \
|
|
> $(LOCAL_PKGCONFIG_PREFIX)/x86_32/%d.pc; \
|
|
sed $(SED_PKGCONFIG_FLAGS) $(SED_FLAGS) $(SED_FLAGS_x86_64) \
|
|
> $(LOCAL_PKGCONFIG_PREFIX)/x86_64/%d.pc; \
|
|
|> $(LOCAL_PKGCONFIG_PREFIX)/arm64/%d.pc \
|
|
$(LOCAL_PKGCONFIG_PREFIX)/x86_32/%d.pc \
|
|
$(LOCAL_PKGCONFIG_PREFIX)/x86_64/%d.pc \
|
|
<artifacts>
|
|
|
|
PORTS_CURRENT = $(GENODE_DIR)/tool/ports/current
|
|
|
|
SDK_ABI_INCLUDE = $(TUP_CWD)/abi.tup
|
|
SDK_TAR_INCLUDE = $(TUP_CWD)/tar.tup
|
|
SDK_PKGCONFIG_TEMPLATE_INCLUDE = $(TUP_CWD)/template.pc.tup
|
|
|
|
CC = /usr/local/genode-gcc/bin/genode-x86-gcc
|
|
CXX = /usr/local/genode-gcc/bin/genode-x86-g++
|
|
AR = /usr/local/genode-gcc/bin/genode-x86-ar
|
|
LD = /usr/local/genode-gcc/bin/genode-x86-ld
|