genode/repos/libports/recipes/api/mpfr/content.mk

content: include lib/symbols/mpfr LICENSE

PORT_DIR := $(call port_dir,$(REP_DIR)/ports/mpfr)

include:
	mkdir $@
	cp -r $(PORT_DIR)/include/mpfr/* $@/
	cp -r $(PORT_DIR)/include/generic $@/
	cp -r $(PORT_DIR)/include/arm $@/
	cp -r $(PORT_DIR)/include/x86 $@/

lib/symbols/mpfr:
	$(mirror_from_rep_dir)

LICENSE:
	cp $(PORT_DIR)/src/lib/mpfr/COPYING $@
Genode toolchain depot package Fix #3028 2018-11-01 14:22:20 +01:00			`content: include lib/symbols/mpfr LICENSE`

			`PORT_DIR := $(call port_dir,$(REP_DIR)/ports/mpfr)`

			`include:`
			`mkdir $@`
			`cp -r $(PORT_DIR)/include/mpfr/* $@/`
libports: update mpfr to 4.0.2 issue #3537 2019-10-24 15:52:01 +02:00			`cp -r $(PORT_DIR)/include/generic $@/`
			`cp -r $(PORT_DIR)/include/arm $@/`
			`cp -r $(PORT_DIR)/include/x86 $@/`
Genode toolchain depot package Fix #3028 2018-11-01 14:22:20 +01:00
			`lib/symbols/mpfr:`
			`$(mirror_from_rep_dir)`

			`LICENSE:`
			`cp $(PORT_DIR)/src/lib/mpfr/COPYING $@`