mirror of
https://github.com/gsi-upm/senpy
synced 2024-09-28 00:41:43 +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)
28 lines
1006 B
Markdown
28 lines
1006 B
Markdown
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](https://lab.gsi.upm.es/senpy/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.
|