Merge branch 'master' of https://github.com/lip6/libDDD.git #212

	name: OSX build

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]

	jobs:
	build:

	runs-on: macos-latest


	steps:
	- uses: actions/checkout@v4
	- name: tag version date
	run: /bin/sh ./tag.sh
	- name: Install packages
	run: brew install gcc@12 autoconf automake libtool binutils ;
	- name: autoreconf
	run: autoreconf -vfi
	- name: Prepare install folder
	run: mkdir usr && mkdir usr/local
	- name: configure
	run: ./configure --prefix=$PWD/usr/local/ AR='gcc-ar-12' NM='gcc-nm-12' RANLIB='gcc-ranlib-12' CXX='g++-12' CC='gcc-12' \|\| cat config.log
	- name: make lib
	run: cd ddd ; make -j ; cd ..
	- name: make demo
	run: make -j
	- name: make install
	run: make install
	- name: prepare artefact
	run: rm usr/local/lib/libDDD_d* ; tar cvzf osx.tgz usr/ ; mv osx.tgz website/
	- name: Deploy to GitHub Pages
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	branch: osx # The branch the action should deploy to.
	folder: website/ # The folder the action should deploy.
	clean: true # Automatically remove deleted files from the deploy branch
	single-commit: true
	- name: Trigger libITS
	uses: mvasigh/dispatch-action@main
	with:
	# You should create a personal access token and store it in your repository
	token: ${{ secrets.NOTIF_PAT }}
	repo: libITS
	owner: lip6
	event_type: ${{ runner.os }}

Provide feedback