Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/main.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -155,7 +155,7 @@ jobs:
alr toolchain --install gnat_native=12.2.1 gprbuild=22.0.1

- name: Setup Python
run: python3 -m pip install pytest epycs pandocfilters
run: python3 -m pip install pytest epycs pandocfilters adacut

- name: Run PyTest
run: pytest --ignore=cached_gnat --ignore=courses/fundamentals_of_ada/labs/radar/test_all.py
Expand Down
2 changes: 2 additions & 0 deletions .gitlab-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@ lint-rst:
services:
- image:ada-trainings
stage: build
before_script:
- python3 -m pip install adacut
script:
- python3 contrib/fix_broken_titles.py --check
- python3 contrib/ci/fix_prelude.py
Expand Down
214 changes: 0 additions & 214 deletions contrib/adacut.py

This file was deleted.

2 changes: 1 addition & 1 deletion contrib/example_extract.py
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
import difflib

scripts_dir = Path(__file__).parent
adacut = esubp.cmd.python.arg(scripts_dir / "adacut.py")
adacut = esubp.cmd.adacut

esubp.verbose = True

Expand Down
4 changes: 1 addition & 3 deletions contrib/quiz.py
Original file line number Diff line number Diff line change
Expand Up @@ -12,12 +12,10 @@
import shutil

SCRIPTS = Path(__file__).parent
ADACUT_PY = SCRIPTS / "adacut.py"
assert ADACUT_PY.is_file()

debug = False

adacut = cmd.python.arg(ADACUT_PY)
adacut = cmd.adacut
gprbuild = cmd.gprbuild.arg("-p")


Expand Down

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

2 changes: 0 additions & 2 deletions contrib/testsuite/conftest.py

This file was deleted.

68 changes: 0 additions & 68 deletions contrib/testsuite/test_adacut.py

This file was deleted.

Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#! /usr/bin/env bash
set -e
FWD=$(dirname "$0")
ADACUT=$FWD/../../../../contrib/adacut.py
ADACUT=$(which adacut)

(
set -e
Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#! /usr/bin/env bash
set -e
FWD=$(dirname "$0")
ADACUT=$FWD/../../../../contrib/adacut.py
ADACUT=$(which adacut)

(
set -e
Expand Down
Loading
Loading