-
Notifications
You must be signed in to change notification settings - Fork 28
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
Create SWI-Prolog pack (solves #4) #24
Conversation
…tallation: ?- prolog_pack:valid_info_arg(version, '6.7-131003').
In d02da96, I had to change the version number to |
…gn packages on installation with SWI-Prolog
Thanks! I did some casual testing and I think this could be merged, provided that we do some immediate follow-up actions, e.g.:
@tkuhn any other comments? |
Sounds good. I will try to find time to look into it too, but I am not sure when that will happen. In the meantime, feel free to move ahead with this. |
I wanted to use APE as a pack in SWI-Prolog. Following the instructions, I did the following:
/pack.pl
. You should adapt it to your needs. Additional fields are possible, they are documented here./runape.pl
have been moved into a new/prolog
directory. The original/get_ape_results.pl
has been moved to/prolog/ape.pl
and is the entry point for SWI-Prolog'slibrary(ape)
./get_ape_results.pl
which re-exports all of the predicates of/prolog/ape.pl
.make all
,make check
andmake install
. They have been added to the Makefile.Before merging this, you should change
/pack.pl
to your needs. Thereafter, it should be possible to install APE by calling?- pack_install('https://github.com/Attempto/APE.git').
, although I am not sure about the capitalizedAPE
in the repository's name (since we are later using it with?- use_module(library(ape)).
).I am not sure about
/runape.pl
. I had the impression it was replaced some time ago withape.pl
, but/run.sh
is still referencing it, while the Makefile and/make_exe.sh
refer to different files.This addresses #4.