bur-manager/git2/git2.c.v

30 lines
606 B
Coq
Raw Normal View History

2022-09-05 13:56:43 +02:00
module git2
2022-11-26 15:28:45 +01:00
//#flag -I @VMODROOT/c
//#flag @VMODROOT/c/wrappers.o
2022-09-05 13:56:43 +02:00
2022-11-26 15:28:45 +01:00
#flag -lgit2
2022-09-05 13:56:43 +02:00
#include "git2.h"
pub struct C.git_repository {}
2022-11-26 15:28:45 +01:00
pub struct C.git_remote {}
2022-09-05 13:56:43 +02:00
pub struct C.git_clone_options {}
2022-11-26 15:28:45 +01:00
pub struct C.git_strarray {}
pub struct C.git_fetch_options {}
2022-09-05 13:56:43 +02:00
fn C.git_libgit2_init()
fn C.git_libgit2_shutdown()
fn C.git_clone(&&C.git_repository, &char, &char, &C.git_clone_options) int
2022-11-26 15:28:45 +01:00
fn C.git_remote_create(&&C.git_remote, &C.git_repository, &char, &char) int
fn C.git_remote_fetch(&C.git_remote, &C.git_strarray, &C.git_fetch_options, &char) int
// fn C.vgit_clone(&char, &char) &C.git_repository