diff --git a/scripts/link_pluto.php b/scripts/link_pluto.php index 8501821..a733c3a 100644 --- a/scripts/link_pluto.php +++ b/scripts/link_pluto.php @@ -3,7 +3,7 @@ require __DIR__."/common.php"; check_compiler(); prepare_link(); -$cmd = $compiler." -o src/pluto"; +$cmd = $compiler." -lpluto -o src/pluto"; if(defined("PHP_WINDOWS_VERSION_MAJOR")) { $cmd .= ".exe";