Skip to content

Commit

Permalink
libs: import json11.
Browse files Browse the repository at this point in the history
This commit imports the code from upstream commit
dropbox/json11@8ccf1f0.
  • Loading branch information
whitequark committed Sep 30, 2019
1 parent 143f82d commit 8f2bdff
Show file tree
Hide file tree
Showing 3 changed files with 1,023 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -528,6 +528,7 @@ $(eval $(call add_include_file,kernel/satgen.h))
$(eval $(call add_include_file,libs/ezsat/ezsat.h))
$(eval $(call add_include_file,libs/ezsat/ezminisat.h))
$(eval $(call add_include_file,libs/sha1/sha1.h))
$(eval $(call add_include_file,libs/json11/json11.hpp))
$(eval $(call add_include_file,passes/fsm/fsmdata.h))
$(eval $(call add_include_file,frontends/ast/ast.h))
$(eval $(call add_include_file,backends/ilang/ilang_backend.h))
Expand All @@ -545,6 +546,8 @@ OBJS += libs/sha1/sha1.o

ifneq ($(SMALL),1)

OBJS += libs/json11/json11.o

OBJS += libs/subcircuit/subcircuit.o

OBJS += libs/ezsat/ezsat.o
Expand Down
Loading

0 comments on commit 8f2bdff

Please sign in to comment.