Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Vagrant adjustments #1490

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Vagrant adjustments #1490

wants to merge 2 commits into from

Conversation

sagepe
Copy link
Member

@sagepe sagepe commented Nov 14, 2019

This updates the php7-xapian build script and uses a Vagrant box with Guest Additions installed rather than NFS.

Tested on a fresh clone (with submodules) - the box built successfully.

@sagepe sagepe requested a review from dracos November 14, 2019 17:48
@dracos dracos force-pushed the master branch 5 times, most recently from c792d3a to af10fb2 Compare April 6, 2020 13:03
@dracos
Copy link
Member

dracos commented Feb 3, 2021

Does this still need including?

@sagepe
Copy link
Member Author

sagepe commented Feb 4, 2021

Does this still need including?

Seeing as we might be about to upgrade Xapian, probably worth waiting until that's done, they I'll review and either close or update and nudge you for a final review.

@dracos dracos force-pushed the master branch 2 times, most recently from 81c138e to 7328522 Compare May 27, 2024 10:26
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.

None yet

2 participants