Skip to content
Snippets Groups Projects
Commit c16c2a0d authored by Shachar Itzhaky's avatar Shachar Itzhaky
Browse files

[build] Eliminated warning. 

Added standard c_flags to jscoq_extern.
parent 6f211909
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
etc/patches/timeout.patch
+ 1
− 1
View file @ c16c2a0d
......@@ -64,7 +64,7 @@ index 43ee8f7..ac82c4e 100644
+ (foreign_stubs
+ (language c)
+ (names jscoq_extern)
+ (flags (:include %{project_root}/config/dune.c_flags)))
+ (flags :standard (:include %{project_root}/config/dune.c_flags)))
(libraries coq-core.boot coq-core.clib coq-core.config))
diff --git a/lib/jscoq_extern.c b/lib/jscoq_extern.c
new file mode 100644
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment