Skip to content

Make a distribution

Sebastian Gutsche edited this page Oct 19, 2015 · 3 revisions

How to make a distribution

This page is about how to upload the latest version of the CAP project to GAP.

Initial setup

The initial setup creates the gh-pages folder and branch on your system

  1. Clone a new version of the CAP project, or go to your existing one.

    git clone https://github.com/homalg-project/CAP_project.git
    
  2. Make a folder for the homepage

    cd CAP_project
    mkdir gh-pages
    
  3. Go into the gh_pages folder, and clone the gh_pages branch into it.

    git checkout -b gh-pages origin/gh-pages --no-track
    
  4. Add the remote name homalg

    git remote add homalg https://github.com/homalg-project/CAP_project.git
    
  5. Set the upstream for the gh-pages branch

    git push --set-upstream homalg gh-pages
    

Make a distribution

To make a distribution, go into the CAP_project folder and type the following

./make_dist_for_cap.sh

Add new packages to the distribution

Simply add the name of the package and subfolder of CAP_project to the list in make_dist_for_cap.sh

Clone this wiki locally