You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

981 B

Cozo C lib

This directory contains the source of the Cozo C API.

For building, refer here.

The API is contained in this single header file.

An example for using the API is here.

To build and run the example:

gcc -L../target/release/ -lcozo_c example.c -o example && ./example

Building for iOS

See this guide for detailed instructions on compilation for iOS.

All scripts are run from this directory.

For iOS devices:

ARCHS=arm64 ./comiple-ios.sh cozo_c release

For simulator on Apple ARM:

IS_SIMULATOR=1 ARCHS=arm64 ./comiple-ios.sh cozo_c release

For simulator on x86-64:

IS_SIMULATOR=1 ARCHS=x86_64 ./comiple-ios.sh cozo_c release

The libraries are then found in ../target subdirectories. The static libraries can then be linked into your iOS applications.