mirror of
https://github.com/gsi-upm/senpy
synced 2024-11-14 04:32:29 +00:00
a0abbede49
Update RDFlib to 6.1.1 (removed rdflib-jsonld, as it is deprecated) Bumped minimum python version: 3.7 (as a result of RDFLIB 6) Added ProxyFix to run behind nginx (Added --no-proxy to run without the fix) Replaced http media links to protocol-agnostic links in playground Enable CORS (via --enable-cors) Update old urls (replaced *.cluster.gsi.dit.upm.es with *.gsi.upm.es) |
||
|---|---|---|
| .. | ||
| base.mk | ||
| docker.mk | ||
| git.mk | ||
| k8s.mk | ||
| makefiles.mk | ||
| precommit.mk | ||
| python.mk | ||
| README.md | ||
These makefiles are recipes for several common tasks in different types of projects. To add them to your project, simply do:
git remote add makefiles ssh://git@lab.gsi.upm.es:2200/docs/templates/makefiles.git
git subtree add --prefix=.makefiles/ makefiles master
touch Makefile
echo "include .makefiles/base.mk" >> Makefile
Now you can take advantage of the recipes. For instance, to add useful targets for a python project, just add this to your Makefile:
include .makefiles/python.mk
You may need to set special variables like the name of your project or the python versions you're targetting.
Take a look at each specific .mk file for more information, and the Makefile in the senpy project for a real use case.
If you update the makefiles from your repository, make sure to push the changes for review in upstream (this repository):
make makefiles-push
It will automatically commit all unstaged changes in the .makefiles folder.