On Tue, Nov 14, 2023 at 08:57:14PM +0100, Roberto Ziggiotto wrote: > Hello, > I kindly request instruction for install POPLOG V16 64bit > using getpoplog.sh on a Debian OS > Linux debian 5.10.0-26-amd64 #1 SMP Debian 5.10.197-1 (2023-09-29) > x86_64 GNU/Linux.
If your system is prepared for building software then you can change to a working directory, do wget https://fricas.org/~hebisch/poplog/build_poplog_from_git.sh chmod 755 build_poplog_from_git.sh ./build_poplog_from_git.sh But you may need to install some developement packages. Second line in the script above is: git clone --depth=1 https://github.com/hebisch/poplog poplog and it will fetch core Poplog repository. Longer instruction containg list of needed packages is in INSTALL file at top of the fetched repository. -- Waldek Hebisch