| Server IP : 213.186.33.4 / Your IP : 216.73.216.193 Web Server : Apache System : Linux webm006.cluster103.gra.hosting.ovh.net 5.15.206-ovh-vps-grsec-zfs-classid #1 SMP Fri May 15 02:41:25 UTC 2026 x86_64 User : awebpaca ( 35430) PHP Version : 8.5.0 Disable Function : _dyuweyrj4,_dyuweyrj4r,dl MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : OFF | Pkexec : OFF Directory : /home/a/w/e/awebpaca/Dolibarr/dev/tools/phan/ |
Upload File : |
#!/bin/bash
# Script compatible with Cygwin
# When argument is '1', save baseline
#
# Copyright (C) 2024 MDW <mdeweerd@users.noreply.github.com>
MYPATH=$(realpath "$(dirname "$(readlink -f "$0")")/../../..")
if [[ $(uname) = CYGWIN* ]] ; then
MYPATH="$(cygpath -w "$MYPATH")"
fi
# BASELINE_PATH=.phan/baseline.txt
CONFIG_PATH=dev/tools/phan/config.php
BASELINE_PATH=dev/tools/phan/baseline.txt
# When full is provided as an argument,
# still use the baseline, but verify all
# rules.
if [ "$1" = "full" ] || [ "$2" = "full" ] ; then
CONFIG_PATH=dev/tools/phan/config_extended.php
fi
if [ "$1" = "1" ] ; then
docker run -v "$MYPATH:/mnt/src" phanphp/phan:latest -k /mnt/src/${CONFIG_PATH} --analyze-twice --save-baseline /mnt/src/${BASELINE_PATH}
else
docker run -v "$MYPATH:/mnt/src" phanphp/phan:latest -k /mnt/src/${CONFIG_PATH} -B /mnt/src/${BASELINE_PATH} --analyze-twice
fi