(executable
 (public_name sdkserver)
 (name main)
 (libraries tiny_httpd pbrt base64 sdkserver))