Removal of gantry from this repo #14

Closed

kryddan wants to merge 7 commits from scripts into main

pull from: scripts

merge into: kryddan:main

Conversation 0 Commits 7 Files Changed 9 +3 -313

kryddan commented 2025-03-14 11:08:29 +01:00

Owner

Copy Link

No description provided.

kryddan added 7 commits 2025-03-14 11:08:29 +01:00

added basic functionality for project files e19e6cda0c

added more helper functions 060231ed25

added remove functionality of libraries 812b92d352

made dockerized ghdl work with multiple directories ef1c19604d

Added project files to automate library imports 6d0ff8e932

refined auto detection of library and std for commands 8f44a2b06f

removed Gantry from this repo and moved into https://git.kryddan.xyz/kryddan/gantry c3493e1226

kryddan closed this pull request 2025-03-14 11:17:04 +01:00

Pull request closed

Please reopen this pull request to perform a merge.

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

No items

No Label

Milestone

No items

No Milestone

Projects

Clear projects

No project

Assignees

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: kryddan/exjobb-public#14

No description provided.