Skip to content

Commit configure script#56

Merged
jorisdral merged 1 commit into
mainfrom
jdral/configure-script
Apr 8, 2026
Merged

Commit configure script#56
jorisdral merged 1 commit into
mainfrom
jdral/configure-script

Conversation

@jorisdral

Copy link
Copy Markdown
Member

We gitignored the configure script but then the libclangs package can not be easily used through a source-repository-package (see haskell/cabal#4903). So, we commit the configure script again.

We `gitignore`d the `configure` script but then the `libclangs` package can not
be easily used through a `source-repository-package` (see
haskell/cabal#4903). So, we commit the `configure`
script again.
@jorisdral
jorisdral enabled auto-merge April 8, 2026 10:34
@jorisdral
jorisdral added this pull request to the merge queue Apr 8, 2026
Merged via the queue into main with commit bf574ef Apr 8, 2026
10 checks passed
@jorisdral
jorisdral deleted the jdral/configure-script branch April 8, 2026 11:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant