# SPDX-License-Identifier: CC0-1.0

language = 'Seed7'
display = 'Seed7 (Seed7 3.5.0)'

license = [
  { name = 'GPL-2.0-only', url = 'https://github.com/ThomasMertes/seed7/blob/master/COPYING' },
  { name = 'LGPL-2.1-only', url = 'https://github.com/ThomasMertes/seed7/blob/master/LGPL' },
]

filename = 'Main.sd7'

install = '''
sudo apt-get install -y libx11-dev
cd /tmp
SEED7_RELEASE=05_20250729
wget -q -O seed7_$SEED7_RELEASE.tgz https://downloads.sourceforge.net/project/seed7/seed7/seed7_$SEED7_RELEASE/seed7_$SEED7_RELEASE.tgz
tar -C "$HOME" -xf seed7_$SEED7_RELEASE.tgz
cd "$HOME"/seed7/src
make depend
make -j $(nproc)
make -j $(nproc) s7c
sudo make install
'''

compile = '''
s7c -O2 -oc3 Main.sd7
'''

object = 'Main'

execution = [
    './Main',
]