16 lines
242 B
Coq
16 lines
242 B
Coq
|
module git2
|
||
|
|
|
||
|
|
#flag -lgit2
|
||
|
|
|
||
|
|
#include "git2.h"
|
||
|
|
|
||
|
|
pub struct C.git_repository {}
|
||
|
|
|
||
|
|
pub struct C.git_clone_options {}
|
||
|
|
|
||
|
|
fn C.git_libgit2_init()
|
||
|
|
|
||
|
|
fn C.git_libgit2_shutdown()
|
||
|
|
|
||
|
|
fn C.git_clone(&&C.git_repository, &char, &char, &C.git_clone_options) int
|