ytomino / headmaster Goto Github PK
View Code? Open in Web Editor NEWthe translator from C headers to another language (currently, Ada only)
Home Page: https://github.com/ytomino/headmaster/wiki
License: BSD 2-Clause "Simplified" License
the translator from C headers to another language (currently, Ada only)
Home Page: https://github.com/ytomino/headmaster/wiki
License: BSD 2-Clause "Simplified" License
Quick note, I'm getting a build failure with make -C main
with the following error:
ln -sfh ../source source
ln: invalid option -- 'h'
Try 'ln --help' for more information.
This appears to originate from these commands:
$(BINLN):
ln -sfh $(BUILDDIR) $@
$(SOURCELN):
ln -sfh $(SOURCEDIR) $@
Note, -h
is not available in either GNU ln or POSIX ln so I'm not sure what it's supposed to do.
The Makefile doesn't check the existence of ~/bin
.
If you call make -C main install BINDIR=$HOME/bin
(without trailing slash) it will create a binary called bin
in your home directory or if you call it with trailing slash it will fail to install the binary.
Afaik if you call install -D
instead of install
in your install target it should generate the correct behaviour.
After manually correcting #3 by simply removing the -h
flags I've run into this next issue:
Some system details:
ocamlbuild -build-dir x86_64-pc-linux-gnu.build -X x86_64-pc-linux-gnu.build -X bin -I source -I source/ada -cflags "-g -safe-string -w Aer-48" main.native
Finished, 1 target (0 cached) in 00:00:01.
+ /usr/bin/ocamlc.opt -c -g -safe-string -w Aer-48 -I source -I source/ada -o source/textFile.cmo source/textFile.ml
File "source/textFile.ml", line 80, characters 4-17:
Error: Unbound value Unix.map_file
Command exited with code 2.
Compilation unsuccessful after building 60 targets (0 cached) in 00:00:04.
make: *** [Makefile;45: x86_64-pc-linux-gnu.build/headmaster] Error 10
I'm fairly unfamiliar with ocaml so I'm not entirely sure what this means.
[Resumed from xml-ada Issue #1]
Hmm, it seems that "__restrict" is not parsed.
Which Is it a macro or a reserved word that is extension?Please tell a result of cpp /usr/include/string.h .
A version of string.h that is not an exact match, but is very similar, and contains the "__restrict" identifier, can be found at: http://repo-genesis3.cbi.utsa.edu/crossref/ns-sli/usr/include/string.h.html
When I try to build headmaster I get the following error on Debian 9:
ocamlbuild -build-dir x86_64-linux-gnu.build -X x86_64-linux-gnu.build -X bin -I source -I source/ada -cflags "-g -safe-string -w Aer-48" main.native
Finished, 0 targets (0 cached) in 00:00:00.
+ /usr/bin/ocamlc.opt -c -g -safe-string -w Aer-48 -I source -I source/ada -o source/c_semantics.cmo source/c_semantics.ml
File "source/c_semantics.ml", line 9, characters 8-16:
Error: Unbound value find_opt
Command exited with code 2.
Compilation unsuccessful after building 19 targets (18 cached) in 00:00:00.
While there are dependencies on at least gmp and mpfr, it is not clear what to do with them in order to build headmaster.
I already have the developer packages for each installed on Ubuntu 11.10, but the headmaster build process appears to require these be separately retrieved, and placed in some particular location, which is not specified.
Please provide sufficient information about what to do with these dependencies to allow one to execute the make file and build this tool, as I am very interested in its capabilities.
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.