appliedlogicsystems / homebrew-als-prolog Goto Github PK
View Code? Open in Web Editor NEWHomebrew/Linuxbrew formula for ALS Prolog
Homebrew/Linuxbrew formula for ALS Prolog
ALS Prolog uses export-subst to automatically label git-archive tar-balls with version information. Unfortunately, this means that the tar-balls can change slightly, depending on the state of master.
Specifically, the ARCHIVE variable in the version script changes:
-ARCHIVE='9fa6c28 (HEAD -> master, tag: v3.3.0)'
+ARCHIVE='9fa6c28 (tag: v3.3.0)'
When master and the version tag point to the same commit, then the string "HEAD -> master" appears in the description. After more commits are pushed to master, the description just show the tag.
This behavior breaks the Homebrew formula's SHA1 hash, so it needs to be updated both when a new release is tagged, and again when any further commits are made to master.
Possible solutions are to switch the formula back to head with an explicit version tag.
installation using homebrew fails with error:
In file included from ../../alsp_src/../tcltk_interface/common/tcl_interface.c:17:
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.11.sdk/System/Library/Frameworks/Tk.framework/Versions/Current/Headers/tk.h:23:3: error: Tk 8.5 must be compiled with tcl.h from Tcl 8.5
# error Tk 8.5 must be compiled with tcl.h from Tcl 8.5
^
1 error generated.
make[2]: *** [tcl_interface.o] Error 1
make[1]: *** [all] Error 2
make: *** [core] Error 2
I'm using:
OSX 10.11.2,
Homebrew 0.9.9 (git revision fbc5fc; last commit 2016-04-04)
Xcode 7.2 (7C68)
Tck/Tk info patchlevel 8.5.9
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.