search

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 11 forks source link

gpsd port for hybrid ABI #86

Open harsha0229 opened 1 year ago

harsha0229 commented 1 year ago

Hello,

I changed the configuration ('pkg64' set to '1' in bsd.port.mk) to build the gpsd port for hybrid ABI and built the gpsd library using 'make'. But I see that it builds the library only for CheriABI. Can you please help me resolve this?

Thank you very much, Harsha