denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add target triple for CiAO/IP.

Browse Source
This commit is contained in:
Michael Mueller
2024-11-12 15:33:44 +01:00
parent c038af6729
commit 17c728308d
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/mml/ports/ciao-ip.hash
View File

@@ -1 +1 @@
a192914448beb4760a99f61d3833a799ae86bd6d
d96f641eb4bafe6b60e293708b99fbe029d642f3

4
repos/mml/ports/ciao-ip.port
View File

@@ -6,7 +6,7 @@ URL(ciao-ip) := git@ess-git.inf.uos.de:software/ciao-ip.git
REV(ciao-ip) := master
DIR(ciao-ip) := src/lib/ciao-ip
CC_OPT += "--target x86_64-linux-gnu"
#ifndef CIAO_IP_CONFIG
# CIAO_IP_CONFIG = $(realpath $(dir $(PORT)))/.ciao-ip-config
#endif
@@ -140,6 +140,6 @@ DIR_CONTENT(include/ciao-ip/ipstack/arp/ipv4) += src/lib/ciao-ip/build/header/i
DIR_CONTENT(include/ciao-ip/ipstack/arp/ipv4) += src/lib/ciao-ip/build/header/ipstack/arp/ipv4/IPv4_ARP_Send_Receive.ah
headers:
make -C src/lib/ciao-ip header
ACXXFLAGS=$(CC_OPT) make -C src/lib/ciao-ip header
_dirs: headers