Commit 918e03f9 authored by Michal 'vorner' Vaner's avatar Michal 'vorner' Vaner

Compilation fix of picosat

parent 6f52bbec
LUA_NAME := $(shell for lua in lua5.1 lua-5.1 lua51 lua ; do if pkg-config $$lua ; then echo $$lua ; break ; fi ; done) LUA_NAME := $(shell for lua in lua5.1 lua-5.1 lua51 lua ; do if pkg-config $$lua ; then echo $$lua ; break ; fi ; done)
VALGRIND:=IN_VALGRIND=1 valgrind --leak-check=full --show-leak-kinds=all --track-fds=yes --trace-children=no --child-silent-after-fork=yes --error-exitcode=1 VALGRIND:=IN_VALGRIND=1 valgrind --leak-check=full --show-leak-kinds=all --track-fds=yes --trace-children=no --child-silent-after-fork=yes --error-exitcode=1
# For picosat, it otherwise needs some headers not available on musl for a feature we don't need.
EXTRA_DEFINES := NGETRUSAGE
include $(S)/build/Makefile.top include $(S)/build/Makefile.top
......
Subproject commit c555a99d459430783b2f66d627ed844b41a93b1b Subproject commit fbc4d51078e40b737b85ba1eda7b47bea967ce85
Markdown is supported
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